The paradox of trees in Type Theory (1991)

by Thierry Coquand
Venue:BIT