Works matching IS 09567968 AND DT 2003 AND VI 13 AND IP 2

Results: 2
    1
    2

    Setoids in type theory.

    Published in:
    Journal of Functional Programming, 2003, v. 13, n. 2, p. 261, doi. 10.1017/S0956796802004501
    By:
    • BARTHE, GILLES;
    • CAPRETTA, VENANZIO;
    • PONS, OLIVIER
    Publication type:
    Article