Equality in the lazy lambda calculus (1989)

by D Howe
Venue:In Fourth Annual Symposium on Logic in Computer Science. IEEE