Typed Operational Semantics

TLCA (1995), pp. 186-200

Abstract