scientific article; zbMATH DE number 1463093

DOI10.1002/(SICI)1521-3870(200005)46:2%3C257::AID-MALQ257%3E3.0.CO;2-VMaRDI QIDQ4487253zbMATH OpenFDO

Authors Giuseppe Longo

Publication date 30 October 2001

zbMATH Keywords

type theorypropositions as typesgeneric type

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 2111733
• Proofs for free. Parametricity for dependent types
• Typing in pure type systems
• A coherence theorem for Martin-Löf's type theory
• A Complete Proof Synthesis Method for the Cube of Type Systems

Cited in

(6)

• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information
• Proving type class laws for Haskell
• A deflationary account of the truth of the Gödel sentence \(\mathcal{G}\)
• What's so special about the Gödel sentence \(\mathcal{G}\)?
• scientific article; zbMATH DE number 1361532 (Why is no real title available?)
• On Takeuti's early view of the concept of set

This page was built for publication:

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