Login / Signup

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

Pierre Vial
Published in: LICS (2018)
Keyphrases