Inductively defined types in the Calculus of Constructions (Q5887516): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/bfb0040259
+Normal rank
@@ Property / OpenAlex ID @@
+W1852211073
@@ Property / OpenAlex ID: W1852211073 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4205074
@@ Property / cites work: Q4205074 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic synthesis of typed \(\Lambda\)-programs on term algebras
+Normal rank
@@ Property / cites work @@
+Q3703866
@@ Property / cites work: Q3703866 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5667469
@@ Property / cites work: Q5667469 / rank @@
+Normal rank
@@ Property / cites work @@
+The Expressiveness of Simple and Second-Order Type Structures
+Normal rank
@@ Property / cites work @@
+Q5625124
@@ Property / cites work: Q5625124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680264
@@ Property / cites work: Q3680264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3677139
@@ Property / cites work: Q3677139 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5887516