Categorial deductions and structural operations (1990)

by Glyn Morrill, Neil Leslie, Mark Hepple, Guy Barry
Venue:Centre for Cognitive Science, University of Edinburgh