Q5286647
type: Item
instance of: scholarly article
zbMATH Open document ID: 0790.68068
author: Thomas Streicher
publication date: 1993-07-05T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 03F50
Mathematics Subject Classification ID: 18C10
Mathematics Subject Classification ID: 68-02
zbMATH DE Number: 226803
zbMATH Keywords: constructive semantics
zbMATH Keywords: type theories
zbMATH Keywords: calculus of constructions
zbMATH Keywords: contextual categories
MaRDI profile type: Publication
Recommended article: La théorie intuitionniste des types : sémantique des preuves et théorie des constructions
Recommended article: Q3593495
Recommended article: Q3768897
Recommended article: Q3086771
Recommended article: Q4883281
Recommended article: Algebra and Coalgebra in Computer Science
Recommended article: Completeness theorems for first-order logic analysed in constructive type theory
Recommended article: A Proof-theoretic Characterization of Independence in Type Theory
Recommended article: On the syntax of Martin-Löf's type theories
description: scientific article; zbMATH DE number 226803