Important Issues in Foundational Formalisms

DOI10.1093/JIGPAL/3.2-3.291MaRDI QIDQ4842275zbMATH OpenOpenAlexFDO

Authors Fairouz Kamareddine

Publication date 13 January 1997

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/45334fa5162bc740628e7c2542f72c19da68fa1c

zbMATH Keywords

expressivenessitem notationtyped lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• A useful -notation
• Partial inductive definitions as type-systems for \(\lambda\)-terms
• A unified approach to type theory through a refined -calculus
• Proofs and programs
• Some lambda calculus and type theory formalized

Cited in

(2)

• A unified approach to type theory through a refined -calculus
• scientific article; zbMATH DE number 4115920 (Why is no real title available?)

This page was built for publication: Important Issues in Foundational Formalisms

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