The stack calculus

MaRDI QIDQ4992396zbMATH OpenFDO

Authors Thomas Ehrhard, Alberto Carraro, Antonino Salibra

Publication date 8 June 2021

Full work available at URL https://arxiv.org/abs/1303.7331, http://eptcs.web.cse.unsw.edu.au/paper.cgi?LSFA2012.10

Mathematics Subject Classification ID

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

Recommendations

• The untyped stack calculus and Böhm's theorem
• On semantics of a term calculus for classical logic
• scientific article; zbMATH DE number 1678362
• scientific article; zbMATH DE number 1222571
• Constructive classical logic as CPS-calculus

Cited in

(8)

• Classical realizability in the CPS target language
• On semantics of a term calculus for classical logic
• Formulae-as-types for an involutive negation
• The untyped stack calculus and Böhm's theorem
• Call-by-name extensionality and confluence
• Böhm and Taylor for all!
• On the expressive power of schemes
• The functional machine calculus. III: Control

This page was built for publication: The stack calculus

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