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

@@ Property / author @@
+Frank Pfenning
@@ Property / author: Frank Pfenning / 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 / 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