Typability in partial groupoids

MaRDI QIDQ6212166zbMATH OpenFDO

Authors P. H. Rodenburg, Inge Bethke

Publication date 1 January 2009

Mathematics Subject Classification ID

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

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

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)