Works by JEAN GOUBAULT-LARRECQ

Results: 2
    1

    Logical relations for monadic types?

    Published in:
    Mathematical Structures in Computer Science, 2008, v. 18, n. 6, p. 1169, doi. 10.1017/S0960129508007172
    By:
    • JEAN GOUBAULT-LARRECQ;
    • S?AWOMIR LASOTA;
    • DAVID NOWAK
    Publication type:
    Article
    2

    Extensions of valuations.

    Published in:
    Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 271, doi. 10.1017/s096012950400461x
    By:
    • JEAN GOUBAULT-LARRECQ
    Publication type:
    Article