Bookmark Saya

arXiv Open Access 2009

Typability in partial groupoids

P. H. Rodenburg I. Bethke
Lihat Sumber

Abstrak

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

Topik & Kata Kunci

math.LO

Penulis (2)

P

P. H. Rodenburg

I

I. Bethke

Format Sitasi

APA MLA BibTeX
Rodenburg, P.H., Bethke, I. (2009). Typability in partial groupoids. https://arxiv.org/abs/0901.0188

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2009
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓