TY  - RPRT
TI  - Extending the Applicability Condition in the Formal System $λδ$
AU  - Ferruccio Guidi
PY  - 2019
UR  - https://arxiv.org/abs/1411.0154
ID  - 1411.0154
ER  -