An intuitionistic theory of types with assumptions of high-arity variables (Q1192333): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Do-it-yourself type theory
@@ Property / cites work: Do-it-yourself type theory / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Writing programs that construct proofs
@@ Property / cites work: Writing programs that construct proofs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3914980
@@ Property / cites work: Q3914980 / rank @@
+Normal rank
@@ Property / cites work @@
+An intuitionistic theory of types with assumptions of high-arity variables
+Normal rank
@@ Property / cites work @@
+Telescopic mappings in typed lambda calculus
@@ Property / cites work: Telescopic mappings in typed lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638283
@@ Property / cites work: Q5638283 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive mathematics and computer programming
@@ Property / cites work: Constructive mathematics and computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3999860
@@ Property / cites work: Q3999860 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions and specifications of programs in Martin-Löf's type theory
+Normal rank
@@ Property / cites work @@
+Program derivation in type theory: A partitioning problem
+Normal rank
@@ Property / cites work @@
+Q5559220
@@ Property / cites work: Q5559220 / rank @@
+Normal rank
@@ Property / cites work @@
+Intensional interpretations of functionals of finite type I
+Normal rank
@@ Property / cites work @@
+On the syntax of Martin-Löf's type theories
@@ Property / cites work: On the syntax of Martin-Löf's type theories / rank @@
+Normal rank