Infinite Objects in Type Theory (0)

Cached

Download Links

by Thierry Coquand
Citations:83 - 2 self