TY  - RPRT
TI  - On the Taylor expansion of $λ$-terms and the groupoid structure of their rigid approximants
AU  - Federico Olimpieri
AU  - Lionel Vaux Auclair
PY  - 2022
DO  - 10.46298/lmcs-18(1:1)2022
UR  - https://arxiv.org/abs/2008.02665
ID  - 2008.02665
ER  -