Semantics of constructions. I: The traditional approach (Q5934287): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+A higher-order calculus and theory abstraction
@@ Property / cites work: A higher-order calculus and theory abstraction / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296744
@@ Property / cites work: Q4296744 / rank @@
+Normal rank
@@ Property / cites work @@
+A formulation of the simple theory of types
@@ Property / cites work: A formulation of the simple theory of types / rank @@
+Normal rank
@@ Property / cites work @@
+Q4880141
@@ Property / cites work: Q4880141 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive sets in computable sets
@@ Property / cites work: Constructive sets in computable sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012883
@@ Property / cites work: Q4012883 / rank @@
+Normal rank
@@ Property / cites work @@
+The extended calculus of constructions (ECC) with inductive types
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive natural deduction and its ‘ω-set’ interpretation
+Normal rank
@@ Property / cites work @@
+A small complete category
@@ Property / cites work: A small complete category / rank @@
+Normal rank
@@ Property / cites work @@
+Q4189277
@@ Property / cites work: Q4189277 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive models for constructive set theories
@@ Property / cites work: Recursive models for constructive set theories / rank @@
+Normal rank
@@ Property / cites work @@
+Q2757819
@@ Property / cites work: Q2757819 / rank @@
+Normal rank
@@ Property / cites work @@
+Categorical properties of logical frameworks
@@ Property / cites work: Categorical properties of logical frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Relative properties of frame language
@@ Property / cites work: Relative properties of frame language / rank @@
+Normal rank
@@ Property / cites work @@
+Structures definable in polymorphism
@@ Property / cites work: Structures definable in polymorphism / rank @@
+Normal rank
@@ Property / cites work @@
+On the internal structures of inductive types
@@ Property / cites work: On the internal structures of inductive types / rank @@
+Normal rank