Telescopic mappings in typed lambda calculus (Q757027): Difference between revisions

@@ Property / author @@
-Q586289
@@ Property / author: Q586289 / rank @@
-Normal rank
@@ Property / author @@
+Nicolaas Govert de Bruijn
@@ Property / author: Nicolaas Govert de Bruijn / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Automath
@@ Property / describes a project that uses: Automath / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3795650
@@ Property / cites work: Q3795650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3342534
@@ Property / cites work: Q3342534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5610115
@@ Property / cites work: Q5610115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5187278
@@ Property / cites work: Q5187278 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3793765
@@ Property / cites work: Q3793765 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3210191
@@ Property / cites work: Q3210191 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856127
@@ Property / cites work: Q3856127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880323
@@ Property / cites work: Q3880323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3877069
@@ Property / cites work: Q3877069 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:757027