Works matching IS 09601295 AND DT 2001 AND VI 11 AND IP 4

Results: 2
    1
    2

    Special issue: Modalities in type theory.

    Published in:
    Mathematical Structures in Computer Science, 2001, v. 11, n. 4, p. 507, doi. 10.1017/S0960129501003310
    By:
    • FAIRTLOUGH, MATT;
    • MENDLER, MICHAEL;
    • MOGGI, EUGENIO
    Publication type:
    Article