Found: 2

Select item for more details and to access through your institution.

  • 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

  • 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