Publikationsansicht

Typability in partial groupoids (2009)

Abstract

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

Details der Publikation

Download	http://arxiv.org/abs/0901.0188
Archiv	arXiv (United States)
Keywords	Mathematics - Logic, 08A55 (Primary), 03B15, 03B40, 08A68 (Secondary)
Typ	text