TY  - RPRT
TI  - A Coinductive Approach to Proof Search through Typed Lambda-Calculi
AU  - José Espírito Santo
AU  - Ralph Matthes
AU  - Luís Pinto
PY  - 2021
DO  - 10.1016/j.apal.2021.103026
UR  - https://arxiv.org/abs/1602.04382
ID  - 1602.04382
ER  -