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
arXiv:0901.0188
Adapting a claim of M. Kracht, we establish a characterization of the typable partial applicative algebras.
5 pages