scientific article; zbMATH DE number 3843744

MaRDI QIDQ3313859zbMATH OpenFDO

Authors A. S. Troelstra

Publication date 1983

zbMATH Keywords

extensional typefinite sum typestype theory

Mathematics Subject Classification ID

Other constructive mathematics (03F65)

Recommendations

• scientific article; zbMATH DE number 713392
• On the strength of dependent products in the type theory of Martin-Löf
• On the syntax of Martin-Löf's type theories
• scientific article; zbMATH DE number 3985206
• scientific article; zbMATH DE number 3853066

Cited in

(6)

• On the syntax of Martin-Löf's type theories
• On uniform definability of types over finite sets
• scientific article; zbMATH DE number 713392 (Why is no real title available?)
• scientific article; zbMATH DE number 1424011 (Why is no real title available?)
• Eta-rules in Martin-Löf type theory
• Type theories, toposes and constructive set theory: Predicative aspects of AST

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 Q3313859)