TY  - RPRT
TI  - The Grail theorem prover: Type theory for syntax and semantics
AU  - Richard Moot
PY  - 2016
UR  - https://arxiv.org/abs/1602.00812
ID  - 1602.00812
ER  -