Adrián Doña Mateo

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 2

Top Topics

Simple Examples

Theoretical Basis

Top Venues

Arch. Formal Proofs

Publications

Anthony Bordg, Adrián Doña Mateo
Strict Omega Categories. Arch. Formal Proofs 2023 (2023)
Anthony Bordg, Adrián Doña Mateo
Encoding Dependently-Typed Constructions into Simple Type Theory. CPP (2023)