Login / Signup

A Representation of Lambda Terms Suitable for Operations on Their Intensions.

Gopalan NadathurDebra Sue Wilson
Published in: LISP and Functional Programming (1990)
Keyphrases