TY  - JOUR

T1  - Encoding monomorphic and polymorphic types

JO  - Logical Methods in Computer Science

PY  - 2017/04/27

AU  - Blanchette J

AU  - Böhme S

AU  - Popescu A

AU  - Smallbone N

ED  - Piterman N

DO  - DOI: 10.2168/lmcs-12(4:13)2016

PB  - Centre pour la Communication Scientifique Directe (CCSD)

VL  - 12

IS  - 4

SP  - 1

EP  - 52

Y2  - 2025/11/27

ER  -