Categorial deductions and structural operations (1990)

by G Morrill, N Leslie, M Hepple, G Barry
Venue:Centre for Cognitive Science, University of Edinburgh