Self-Interpretations in lambda Calculus

Henk Barendregt. Self-Interpretations in lambda Calculus. Journal of Functional Programming, 1(2):229-233, 1991.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.