The sensible graph theories of lambda calculus (2004)

by A Bucciarelli, A Salibra
Venue:In 19th Annual IEEE Symposium on Logic in Computer Science (LICS’04