Investigations on the dual calculus

DOI10.1016/j.tcs.2006.04.009zbMath1097.68023OpenAlexW2058375937MaRDI QIDQ2503329

Nikos Tzevelekos

Publication date: 14 September 2006

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2006.04.009

zbMATH Keywords

Curry-Howard isomorphismcontinuationsdual calculusclassical lambda calculi

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Classical Logic with Mendler Induction

Uses Software

• Automath

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The revised report on the syntactic theories of sequential control and state
• Continuations: A mathematical semantics for handling full jumps
• A symmetric lambda calculus for classical program extraction
• Control categories and duality: on the categorical semantics of the lambda-mu calculus
• The duality of computation
• The Expressiveness of Simple and Second-Order Type Structures
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Some lambda calculi with categorical sums and products
• Declarative continuations: An investigation of duality in programming language semantics
• Call-by-value is dual to call-by-name
• Term Rewriting and Applications

This page was built for publication: Investigations on the dual calculus