Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Arthur Freitas Ramos

Explicit Computational Paths in Type Theory

Bulletin of Symbolic Logic

English