TY  - RPRT
TI  - Encoding many-valued logic in $λ$-calculus
AU  - Fer-Jan de Vries
PY  - 2021
DO  - 10.46298/lmcs-17(2:25)2021
UR  - https://arxiv.org/abs/1810.07667
ID  - 1810.07667
ER  -