Programming in the λ-Calculus: From Church to Scott and Back (Q5410454): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+The Impact of the Lambda Calculus in Logic and Computer Science
+Normal rank
@@ Property / cites work @@
+Combinatory logic. Vol. II
@@ Property / cites work: Combinatory logic. Vol. II / rank @@
+Normal rank
@@ Property / cites work @@
+THEORETICAL PEARL Church numerals, twice!
@@ Property / cites work: THEORETICAL PEARL Church numerals, twice! / rank @@
+Normal rank
@@ Property / cites work @@
+The next 700 programming languages
@@ Property / cites work: The next 700 programming languages / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient self-interpretation in lambda calculus
@@ Property / cites work: Efficient self-interpretation in lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Typed representation of objects by functions
@@ Property / cites work: Typed representation of objects by functions / rank @@
+Normal rank
@@ Property / cites work @@
+Directly reflective meta-programming
@@ Property / cites work: Directly reflective meta-programming / rank @@
+Normal rank
@@ Property / cites work @@
+A new implementation technique for applicative languages
+Normal rank
@@ Property / DBLP publication ID @@
+conf/birthday/Jansen13
@@ Property / DBLP publication ID: conf/birthday/Jansen13 / rank @@
+Normal rank