Typability in partial groupoids

Authors
Publication date 2009
Number of pages 5
Publisher Ithaca, NY: ArXiv
Organisations
  • Faculty of Science (FNWI) - Informatics Institute (IVI)
Abstract Adapting a claim of M. Kracht, we establish a characterization of the typable partial applicative algebras.
Document type Report
Published at http://arxiv.org/abs/0901.0188
Permalink to this page
Back