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

Paul E. Oppenheimer, Edward N. Zalta. Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations. Journal of Logic and Computation, 21(2):351-374, 2011. [doi]

Abstract

Abstract is missing.