Gopalan Nadathur, Debra Sue Wilson. A Representation of Lambda Terms Suitable for Operations on Their Intensions. In LISP and Functional Programming. pages 341-348, 1990. [doi]
No references recorded for this publication.
No citations of this publication recorded.