Structured Type Theory (1999)

Cached

Download Links

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