TY  - RPRT
TI  - A Complete V-Equational System for Graded lambda-Calculus
AU  - Fredrik Dahlqvist
AU  - Renato Neves
PY  - 2023
DO  - 10.46298/entics.12299
UR  - https://arxiv.org/abs/2304.02082
ID  - 2304.02082
ER  -