Type theory and recursion (abstract (1993)

by G D Plotkin
Venue:In Proceedings of 8th Conference on Logic in Computer Science. IEEE Computer