Deductive systems and categories
Author:
- 1 December 1968
- journal article
- research article
- Published by Springer Nature in Theory of Computing Systems
- Vol. 2 (4) , 287-318
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Adjoint functors and triplesIllinois Journal of Mathematics, 1965
- On the calculus of syntactic types1961
- The Mathematics of Sentence StructureThe American Mathematical Monthly, 1958