scientific article; zbMATH DE number 895270

MaRDI QIDQ4883281zbMATH OpenFDO

Authors Lill Kristiansen, Dag Normann

Publication date 5 November 1996

zbMATH Keywords

semanticsuniversal domainsconstructive set theoryScott domainsqualitative domainsdependent productconstructors of Martin-Löf type theorydependent sum

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

(9)

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

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)