scientific article; zbMATH DE number 895270

MaRDI QIDQ4883281zbMATH OpenFDO

Authors Lill Kristiansen, Dag Normann

Publication date 5 November 1996

zbMATH Keywords

constructive set theoryconstructors of Martin-Löf type theorydependent productdependent sumqualitative domainsScott domainssemanticsuniversal domains

Mathematics Subject Classification ID

Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• scientific article; zbMATH DE number 4187810
• scientific article; zbMATH DE number 1241699
• La théorie intuitionniste des types : sémantique des preuves et théorie des constructions
• On the strength of dependent products in the type theory of Martin-Löf

Cited in

(10)

• Domain representations of topological spaces
• Dependent event types
• Construction of tame types
• scientific article; zbMATH DE number 1241699 (Why is no real title available?)
• scientific article; zbMATH DE number 517050 (Why is no real title available?)
• Constructive Sheaf Semantics
• Formalizing type operations using the ``image type constructor
• Semantically Inactive Multiplicatives and Words as Types
• scientific article; zbMATH DE number 226803 (Why is no real title available?)
• Equational theories for inductive types

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