Q5101343 (Q5101343): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Q5686017
@@ Property / cites work: Q5686017 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4625694
@@ Property / cites work: Q4625694 / rank @@
+Normal rank
@@ Property / cites work @@
+Solution of a Problem of Barendregt on Sensible lambda-Theories
+Normal rank
@@ Property / cites work @@
+Lambda theories allowing terms with a finite number of fixed points
+Normal rank
@@ Property / cites work @@
+Models of the lambda calculus
@@ Property / cites work: Models of the lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4501671
@@ Property / cites work: Q4501671 / rank @@
+Normal rank
@@ Property / cites work @@
+The Lattice of Lambda Theories
@@ Property / cites work: The Lattice of Lambda Theories / rank @@
+Normal rank
@@ Property / cites work @@
+What is a model of the lambda calculus?
@@ Property / cites work: What is a model of the lambda calculus? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+The fixed point property and a technique to harness double fixed point combinators
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank
@@ Property / cites work @@
+Q5573961
@@ Property / cites work: Q5573961 / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus is algebraic
@@ Property / cites work: The lambda calculus is algebraic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty  $-Models of the Lambda-Calculus
+Normal rank