Decomposing the Lattice of Meaningless Sets in the Infinitary Lambda Calculus.

Paula Severi, Fer-Jan de Vries

Browse the full WoLLIC paper archive.