DMCA

Setoids in Type Theory (2000)

Cached

Download Links

by Gilles Barthe , Venanzio Capretta , Olivier Pons
Citations:41 - 3 self