A graph-easy class of mute lambda-terms. - Antonio Bucciarelli; Alberto Carraro; Giordano Favro; Antonino Salibra (ICTCS, 2014)

Algebraic structures for the lambda calculus and the propositional logic. - Giordano Favro (2015)

Factor Varieties and Symbolic Computation. - Antonino Salibra; Giulio Manzonetto; Giordano Favro (LICS, 2016)

Graph easy sets of mute lambda terms. - Antonio Bucciarelli; Alberto Carraro; Giordano Favro; Antonino Salibra (Theor. Comput. Sci., 2016)