arXiv0901.0188MaRDI QIDQ6212166
Inge Bethke, P. H. Rodenburg
Publication date: 1 January 2009
Mathematics Subject Classification ID
08A55: Partial algebras
03B40: Combinatory logic and lambda calculus
08A68: Heterogeneous algebras