The paradox of trees in Type Theory (1991)

Cached

Download Links

by Thierry Coquand
Venue:BIT
Citations:2 - 0 self