The paradox of trees in type theory (1992)

by Thierry Coquand
Venue:BIT