Simone Martini. Categorical Models for Non-Extensional lambda-Calculi and Combinatory Logic. Mathematical Structures in Computer Science, 2(3):327-357, 1992.
@article{Martini92,
title = {Categorical Models for Non-Extensional lambda-Calculi and Combinatory Logic},
author = {Simone Martini},
year = {1992},
tags = {logic},
researchr = {https://researchr.org/publication/Martini92},
cites = {0},
citedby = {0},
journal = {Mathematical Structures in Computer Science},
volume = {2},
number = {3},
pages = {327-357},
}