We present fully abstract encodings of the call-by-name and call-by-valu...
We propose a survey of the behavioral theory of an untyped lambda-calcul...
Normal-form bisimilarity is a simple, easy-to-use behavioral equivalence...
A coercion semantics of a programming language with subtyping is typical...