scientific article; zbMATH DE number 7440185

zbMath1486.03029arXiv1606.06385MaRDI QIDQ5015362

Ken Akiba

Publication date: 7 December 2021

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lectures on the Curry-Howard isomorphism
• Theoretical aspects of computer software. 2nd international Symposium TACS '94, Sendai, Japan, April 19--22, 1994. Proceedings
• Conjunctive, Disjunctive, Negative Objects and Generalized Quantification
• Generalized quantifiers and natural language