A Dialectica Model of the Lambek Calculus (1991)

by V de Paiva
Venue:University of Amsterdam