"Factoring Derivation Spaces via Intersection Types" (2018) Barenbaum, P.; Ciruelos, G.; Ryu S. 16th Asian Symposium on Programming Languages and Systems, APLAS 2018. 11275 LNCS:24-44

"The first-order hypothetical logic of proofs" (2017) Steren, G.; Bonelli, E. Journal of Logic and Computation. 27(4):1023-1066

"Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting" (1999) Bonelli, E.; Rodriguez-Artalejo M.; Flum J. 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999. 1683:204-219