Relations versus functions at the foundations of logic: Type-theoretic considerations (0)

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