Publication:3839074

zbMath0904.03017MaRDI QIDQ3839074

Eugenio Moggi

Publication date: 19 January 1999

zbMATH Keywords

denotational semantics; lambda calculus; functor categories; \(\lambda\)-abstraction; Kripke logical relations; interpreting dynamic expressions; semantics of newname; two-level language

Mathematics Subject Classification ID

68N15: Theory of programming languages

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

03G30: Categorical logic, topoi

03B40: Combinatory logic and lambda calculus

18A25: Functor categories, comma categories

Related Items

Two-level languages for program optimization