TY  - RPRT
TI  - The Undecidability of Third Order Pattern Matching in Calculi with Dependent Types or Type Constructors
AU  - Gilles Dowek
PY  - 2023
UR  - https://arxiv.org/abs/2309.11819
ID  - 2309.11819
ER  -