Typability in partial groupoids

arXiv0901.0188MaRDI QIDQ6212166FDOQ6212166

Authors: P. H. Rodenburg, Inge Bethke 

Publication date: 1 January 2009

Abstract: Adapting a claim of M. Kracht, we establish a characterization of the typable partial applicative algebras.

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Partial algebras (08A55) Heterogeneous algebras (08A68)

This page was built for publication: Typability in partial groupoids

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6212166)