A Partial Functions Version of Church’s Simple Theory of Types (1990)

by W M Farmer
Venue:Journal of Symbolic Logic