Typability in partial groupoids

P. H. Rodenburg, I. Bethke

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