Typed Operational Semantics

TLCA(1995), pp. 186-200

Abstract

Research Areas