scientific article; zbMATH DE number 1463093

DOI10.1002/(SICI)1521-3870(200005)46:2%3C257::AID-MALQ257%3E3.0.CO;2-VzbMATH Open0971.03020MaRDI QIDQ4487253FDOQ4487253

Authors: Giuseppe Longo 

Publication date: 30 October 2001

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

type theorypropositions as typesgeneric type

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (6)

• 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}\)?
• Title not available (Why is that?)
• On Takeuti's early view of the concept of set
• Proceeding in Abstraction. From Concepts to Types and the Recent Perspective on Information

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)