A representation of Lambda terms suitable for operations on their intensions
- 1 May 1990
- proceedings article
- Published by Association for Computing Machinery (ACM)
- p. 341-348
- https://doi.org/10.1145/91556.91682
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- The categorical abstract machineScience of Computer Programming, 1987
- A unification algorithm for typed