Bookmark Saya

Semantic Scholar Open Access 2011 50 sitasi

Treatise on Intuitionistic Type Theory

J. Granström
Lihat Sumber DOI

Topik & Kata Kunci

Mathematics Computer Science

Penulis (1)

J

J. Granström

Format Sitasi

APA MLA BibTeX
Granström, J. (2011). Treatise on Intuitionistic Type Theory. https://doi.org/10.1007/978-94-007-1736-7

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →
Lihat di Sumber doi.org/10.1007/978-94-007-1736-7
Informasi Jurnal
Tahun Terbit
2011
Bahasa
en
Total Sitasi
50×
Sumber Database
Semantic Scholar
DOI
10.1007/978-94-007-1736-7
Akses
Open Access ✓