Every λ-Term is Meaningful for the Infinitary Relational Model.

Pierre Vial

Browse the full LICS paper archive.