Graph easy sets of mute lambda terms

Antonio Bucciarelli, Alberto Carraro, Giordano Favro, Antonino Salibra. Graph easy sets of mute lambda terms. Theoretical Computer Science, 629:51-63, 2016. [doi]

Abstract

Abstract is missing.