A note on logical relations between semantics and syntax

DOI10.1093/jigpal/5.4.589zbMath0877.03013OpenAlexW2082549583MaRDI QIDQ4353722

Andrew M. Pitts

Publication date: 8 December 1997

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/5.4.589

zbMATH Keywords

denotational semanticssyntaxcontextual equivalenceapplicative bisimilaritylazy lambda calculusoperational extensionality

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Operational domain theory and topology of sequential programming languages

This page was built for publication: A note on logical relations between semantics and syntax