TY  - RPRT
TI  - In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming
AU  - François Bry
PY  - 2020
DO  - 10.1017/s1471068419000024
UR  - https://arxiv.org/abs/1807.06051
ID  - 1807.06051
ER  -