Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations (2011)

by P Oppenheimer, E Zalta
Venue:Journal of Logic and Computation