A global representation of the recursive functions in the \(\lambda\)- calculus (Q1245931): Difference between revisions

@@ Property / author @@
-Hendrik Pieter Barendregt
@@ Property / author: Hendrik Pieter Barendregt / rank @@
-Normal rank
@@ Property / author @@
+Hendrik Pieter Barendregt
@@ Property / author: Hendrik Pieter Barendregt / 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.1016/0304-3975(76)90025-6
+Normal rank
@@ Property / OpenAlex ID @@
+W1978044249
@@ Property / OpenAlex ID: W1978044249 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5181345
@@ Property / cites work: Q5181345 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic and the ω-rule
@@ Property / cites work: Combinatory logic and the ω-rule / rank @@
+Normal rank
@@ Property / cites work @@
+A set of postulates for the foundation of logic. II
+Normal rank
@@ Property / cites work @@
+Q5565113
@@ Property / cites work: Q5565113 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5686017
@@ Property / cites work: Q5686017 / rank @@
+Normal rank
@@ Property / cites work @@
+\(\lambda\)-definability and recursiveness
@@ Property / cites work: \(\lambda\)-definability and recursiveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4083398
@@ Property / cites work: Q4083398 / rank @@
+Normal rank
@@ Property / cites work @@
+Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
+Normal rank
@@ Property / cites work @@
+Computability and λ-definability
@@ Property / cites work: Computability and λ-definability / rank @@
+Normal rank