paper

Typability in partial groupoids

arXiv:0901.0188

Abstract

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

5 pages