Troelstra, 1987. On the syntax of Martin-Löf's type theories 51.. https://doi.org/10.1016/0304-3975(87)90047-8