Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus

DOI10.1016/J.ENTCS.2008.12.072zbMath1336.68031OpenAlexW2036029152MaRDI QIDQ4982059

Vladimir Komendantsky

Publication date: 23 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.072

zbMATH Keywords

normalizationpartial equivalence relationscategorical semanticslambda-mu calculusYoneda embeddingcategories of continuations

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)

Cites Work

• Completeness of continuation models for \(\lambda_\mu\)-calculus
• Control categories and duality: on the categorical semantics of the lambda-mu calculus
• Normalization and the Yoneda embedding
• Classical logic, continuation semantics and abstract machines
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Denotational Semantics of Call-by-name Normalization in Lambda-mu Calculus