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

zbMATH Open1486.03029arXiv1606.06385MaRDI QIDQ5015362FDOQ5015362

Authors: Ken Akiba 

Publication date: 7 December 2021

Full work available at URL: https://arxiv.org/abs/1606.06385

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Lectures on the Curry-Howard isomorphism
• Generalized quantifiers and natural language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theoretical aspects of computer software. 2nd international Symposium TACS '94, Sendai, Japan, April 19--22, 1994. Proceedings
• Conjunctive, disjunctive, negative objects and generalized quantification

Cited In (3)

• Title not available (Why is that?)
• 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)