A note on logical relations between semantics and syntax

DOI10.1093/JIGPAL/5.4.589zbMATH Open0877.03013OpenAlexW2082549583MaRDI QIDQ4353722FDOQ4353722

Authors: Andrew M. Pitts 

Publication date: 8 December 1997

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

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

Recommendations

• Lazy logical semantics
• scientific article; zbMATH DE number 1948186
• Logical relations for monadic types
• Logical relations and the typed λ-calculus
• scientific article; zbMATH DE number 1670816

zbMATH Keywords

syntaxdenotational semanticscontextual equivalenceapplicative bisimilaritylazy lambda calculusoperational extensionality

Mathematics Subject Classification ID

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

Cited In (5)

• Relational reasoning about contexts
• On denotational versus predicative semantics
• Operational domain theory and topology of sequential programming languages
• Two guarded recursive powerdomains for applicative simulation
• Syntactic awareness in logical dynamics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4353722)