Automath and Pure Type Systems (Q4924545): Difference between revisions

@@ Property / describes a project that uses @@
+Nuprl
@@ Property / describes a project that uses: Nuprl / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023900
@@ Property / cites work: Q4023900 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4187337
@@ Property / cites work: Q4187337 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5563103
@@ Property / cites work: Q5563103 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3856127
@@ Property / cites work: Q3856127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573940
@@ Property / cites work: Q5573940 / rank @@
+Normal rank
@@ Property / cites work @@
+On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations
+Normal rank
@@ Property / cites work @@
+Q2763649
@@ Property / cites work: Q2763649 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting the notion of function
@@ Property / cites work: Revisiting the notion of function / rank @@
+Normal rank
@@ Property / cites work @@
+A useful \(\lambda\)-notation
@@ Property / cites work: A useful \(\lambda\)-notation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4354787
@@ Property / cites work: Q4354787 / rank @@
+Normal rank
@@ Property / cites work @@
+Selected papers on AUTOMATH, dedicated to N. G. de Bruijn
+Normal rank
@@ Property / cites work @@
+Q3922646
@@ Property / cites work: Q3922646 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501161
@@ Property / cites work: Q4501161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3877069
@@ Property / cites work: Q3877069 / rank @@
+Normal rank