Denotational semantics of the simplified lambda-mu calculus and a new deduction system of classical type theory

MaRDI QIDQ5015362zbMATH OpenFDO

Authors Ken Akiba

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1606.06385, http://eptcs.web.cse.unsw.edu.au/paper.cgi?CLaC16.2

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Type theory (03B38)

Recommendations

• scientific article; zbMATH DE number 1678362
• scientific article; zbMATH DE number 823591
• scientific article; zbMATH DE number 1222571
• A classical linear \(\lambda\)-calculus
• scientific article; zbMATH DE number 2024631

Cites work

• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 2038177 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• Conjunctive, disjunctive, negative objects and generalized quantification
• Generalized quantifiers and natural language
• Lectures on the Curry-Howard isomorphism
• Theoretical aspects of computer software. 2nd international Symposium TACS '94, Sendai, Japan, April 19--22, 1994. Proceedings

Cited in

(3)

• scientific article; zbMATH DE number 956830 (Why is no real title available?)
• Typed Lambda Calculi and Applications
• Towards a proof theory of rewriting: The simply typed \(2\lambda\)-calculus

This page was built for publication: Denotational semantics of the simplified lambda-mu calculus and a new deduction system of classical type theory

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