![](/img/cover-not-exists.png)
Setoids in type theory
BARTHE, GILLES, CAPRETTA, VENANZIO, PONS, OLIVIERVolume:
13
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/s0956796802004501
Date:
March, 2003
File:
PDF, 381 KB
english, 2003