Structured Type Theory (1999)

Cached

Download Links

by Catarina Coquand , Thierry Coquand
Citations:38 - 4 self