English

Typability in partial groupoids

Logic 2009-09-30 v1

Abstract

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

Cite

@article{arxiv.0901.0188,
  title  = {Typability in partial groupoids},
  author = {P. H. Rodenburg and I. Bethke},
  journal= {arXiv preprint arXiv:0901.0188},
  year   = {2009}
}

Comments

5 pages

R2 v1 2026-06-21T11:57:03.562Z