Constructive system for automatic program synthesis (Q912589): Difference between revisions

@@ Property / cites work @@
+The lambda calculus, its syntax and semantics
@@ Property / cites work: The lambda calculus, its syntax and semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3914980
@@ Property / cites work: Q3914980 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573965
@@ Property / cites work: Q5573965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5604461
@@ Property / cites work: Q5604461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4116048
@@ Property / cites work: Q4116048 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3319764
@@ Property / cites work: Q3319764 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703866
@@ Property / cites work: Q3703866 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Q3880322
@@ Property / cites work: Q3880322 / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionism. An introduction
@@ Property / cites work: Intuitionism. An introduction / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Deutung der intuitionistischen Logik
@@ Property / cites work: Zur Deutung der intuitionistischen Logik / rank @@
+Normal rank
@@ Property / cites work @@
+Q4099613
@@ Property / cites work: Q4099613 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3328540
@@ Property / cites work: Q3328540 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of type polymorphism in programming
@@ Property / cites work: A theory of type polymorphism in programming / rank @@
+Normal rank
@@ Property / cites work @@
+Edinburgh LCF. A mechanized logic of computation
@@ Property / cites work: Edinburgh LCF. A mechanized logic of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880323
@@ Property / cites work: Q3880323 / rank @@
+Normal rank
@@ Property / cites work @@
+Natural deduction as higher-order resolution
@@ Property / cites work: Natural deduction as higher-order resolution / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of symbolic expressions. I
@@ Property / cites work: Theory of symbolic expressions. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3673095
@@ Property / cites work: Q3673095 / rank @@
+Normal rank
@@ Property / cites work @@
+An interpretation of Martin-Löf's type theory in a type-free theory of propositions
+Normal rank
@@ Property / cites work @@
+Q5633977
@@ Property / cites work: Q5633977 / rank @@
+Normal rank