Recursive equivalence types and combinatorial functions (1958)

by John Myhill
Venue:Bull. Amer. Math. Soc