A Dialectica Model of the Lambek Calculus (1991)

by V C V de Paiva
Venue:In Proceedings of the 8th Amsterdam Colloquium