Login / Signup
Arthur Freitas Ramos
Publication Activity (10 Years)
Years Active: 2016-2019
Publications (10 Years): 2
Top Topics
Multiresolution
Cutting Plane
Theoretical Basis
Database
Top Venues
Bull. Symb. Log.
CoRR
</>
Publications
</>
Arthur Freitas Ramos
Explicit Computational Paths in Type Theory.
Bull. Symb. Log.
25 (2) (2019)
Arthur Freitas Ramos
,
Ruy J. G. B. de Queiroz
,
Anjolina Grisi de Oliveira
Computational Paths and Identity Types.
CoRR
(2016)