Efficient self-interpretation in lambda calculus (Q4764616): Difference between revisions

@@ Property / author @@
+Torben Ægidius Mogensen
@@ Property / author: Torben Ægidius Mogensen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Scheme
@@ Property / describes a project that uses: Scheme / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q3655272
@@ Property / cites work: Q3655272 / rank @@
+Normal rank
@@ Property / cites work @@
+Metacircularity in the polymorphic \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A partial evaluator for the untyped lambda-calculus
+Normal rank
@@ Property / cites work @@
+Typed representation of objects by functions
@@ Property / cites work: Typed representation of objects by functions / rank @@
+Normal rank