Setoids in Type Theory (2000)

Cached

Download Links

by Gilles Barthe , Venanzio Capretta , Olivier Pons
Citations:30 - 4 self