TY  - RPRT
TI  - Embedding Pure Type Systems in the lambda-Pi-calculus modulo
AU  - Denis Cousineau
AU  - Gilles Dowek
PY  - 2023
UR  - https://arxiv.org/abs/2310.12540
ID  - 2310.12540
ER  -