scientific article; zbMATH DE number 895270

zbMATH Open0849.03046MaRDI QIDQ4883281FDOQ4883281

Authors: Lill Kristiansen, Dag Normann 

Publication date: 5 November 1996

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

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

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)

Cited In (9)

• Construction of tame types
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Constructive Sheaf Semantics

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)