Login / Signup
Gonzalo Ciruelos
Publication Activity (10 Years)
Years Active: 2018-2019
Publications (10 Years): 2
Top Topics
Decision Trees
Digital Libraries
Multiresolution
Databases
Top Venues
CoRR
APLAS
</>
Publications
</>
Pablo Barenbaum
,
Gonzalo Ciruelos
Factoring Derivation Spaces via Intersection Types (Extended Version).
CoRR
(2019)
Pablo Barenbaum
,
Gonzalo Ciruelos
Factoring Derivation Spaces via Intersection Types.
APLAS
(2018)