Author:
Song Fangmin,Xu Yongsen,Qian Yuechen
Subject
General Computer Science,Theoretical Computer Science
Reference6 articles.
1. Enumerators of lambda terms are Reducing;Barendregt;J. Functional Programm.,1992
2. H. Barendregt, The Lambda Calculus: Its Syntax and Semantics, Revised Edition, North-Holland, Amsterdam, 1984.
3. Self-Interpretation in Lambda Calculus;Barendregt;J. Functional Programm.,1991
4. A. Berarducci, C. Böhm, A Self-Interpreter of Lambda Calculus Having a Normal Form, Lecture Notes in Computer Science, Vol. 702, Computer Science Logic, Springer, Berlin, 1992, pp. 85–99.
5. Introduction to Combinators and λ-Calculus;Hindley,1986
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Self-Quotation in a Typed, Intensional Lambda-Calculus;Electronic Notes in Theoretical Computer Science;2018-04
2. Programs as Data Structures in λSF-Calculus;Electronic Notes in Theoretical Computer Science;2016-10
3. Self-Representation in Girard's System U;ACM SIGPLAN Notices;2015-05-11
4. Self-Representation in Girard's System U;Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages;2015-01-14
5. Typed self-interpretation by pattern matching;Proceedings of the 16th ACM SIGPLAN international conference on Functional programming;2011-09-19