Factoring Derivation Spaces via Intersection Types. - Pablo Barenbaum; Gonzalo Ciruelos (APLAS, 2018)

Factoring Derivation Spaces via Intersection Types (Extended Version). - Pablo Barenbaum; Gonzalo Ciruelos (CoRR, 2019)