Algebras and combinators
- 1 December 1981
- journal article
- Published by Springer Nature in Algebra universalis
- Vol. 13 (1) , 389-392
- https://doi.org/10.1007/bf02483849
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- The Type Free Lambda CalculusPublished by Elsevier ,1977