Categorical Models for Non-Extensional lambda-Calculi and Combinatory Logic

Simone Martini. Categorical Models for Non-Extensional lambda-Calculi and Combinatory Logic. Mathematical Structures in Computer Science, 2(3):327-357, 1992.

Abstract

Abstract is missing.