Jump to Content

Typed Operational Semantics

TLCA (1995), pp. 186-200

Abstract

Research Areas