Q3858241 (Q3858241): Difference between revisions

@@ Property / cites work @@
+A lambda-calculus model of programming languages—II. Jumps and procedures
+Normal rank
@@ Property / cites work @@
+Q4100066
@@ Property / cites work: Q4100066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4182476
@@ Property / cites work: Q4182476 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4096921
@@ Property / cites work: Q4096921 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4109650
@@ Property / cites work: Q4109650 / rank @@
+Normal rank
@@ Property / cites work @@
+On the size of machines
@@ Property / cites work: On the size of machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q3869322
@@ Property / cites work: Q3869322 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+Reduction of storage employed to represent families of information structures
+Normal rank
@@ Property / cites work @@
+Q3858241
@@ Property / cites work: Q3858241 / rank @@
+Normal rank
@@ Property / cites work @@
+Correspondence between ALGOL 60 and Church's Lambda-notation
+Normal rank
@@ Property / cites work @@
+Q5654032
@@ Property / cites work: Q5654032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Data Types as Lattices
@@ Property / cites work: Data Types as Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Combinators, \(\lambda\)-terms and proof theory
@@ Property / cites work: Combinators, \(\lambda\)-terms and proof theory / 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