arXiv Open Access 2023

Canonicity and Computability in Homotopy Type Theory

Dmitry Filippov

Lihat Sumber

Abstrak

This dissertation gives an overview of Martin Lof's dependant type theory, focusing on its computational content and addressing a question of possibility of fully canonical and computable semantic presentation.

Topik & Kata Kunci

cs.LO

Penulis (1)

Dmitry Filippov

Format Sitasi

APA MLA BibTeX

Filippov, D. (2023). Canonicity and Computability in Homotopy Type Theory. https://arxiv.org/abs/2308.09621

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2023
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓