Metacircularity in the polymorphic \(\lambda\)-calculus (Q1177938): Difference between revisions

@@ Property / describes a project that uses @@
+LEGO
@@ Property / describes a project that uses: LEGO / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5753923
@@ Property / cites work: Q5753923 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789525
@@ Property / cites work: Q3789525 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3211296
@@ Property / cites work: Q3211296 / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive functions of symbolic expressions and their computation by machine, Part I
+Normal rank
@@ Property / cites work @@
+Inductively defined types in the Calculus of Constructions
+Normal rank
@@ Property / cites work @@
+Q3677139
@@ Property / cites work: Q3677139 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4068054
@@ Property / cites work: Q4068054 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0304-3975(90)90109-u
+Normal rank
@@ Property / OpenAlex ID @@
+W2018926799
@@ Property / OpenAlex ID: W2018926799 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1177938