TY  - RPRT
TI  - All the λ-Terms are Meaningful for the Infinitary Relational Model
AU  - Pierre Vial
PY  - 2018
UR  - https://arxiv.org/abs/1612.06740
ID  - 1612.06740
ER  -