TY  - RPRT
TI  - Are there Hilbert-style Pure Type Systems?
AU  - M. W. Bunder
AU  - W. M. J. Dekkers
PY  - 2008
DO  - 10.2168/lmcs-4(1:1)2008
UR  - https://arxiv.org/abs/0707.0890
ID  - 0707.0890
ER  -