The inconsistency of higher order extensions of Martin-Löf’s type theory (1989)

by B Jacobs
Venue:Journal of Phil. Logic