Algebra of constructions I. The word problem for partial algebras
- 1 May 1987
- journal article
- Published by Elsevier in Information and Computation
- Vol. 73 (2) , 129-173
- https://doi.org/10.1016/0890-5401(87)90018-6
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Functional completeness of cartesian categoriesAnnals of Mathematical Logic, 1974