Works matching IS 09601295 AND DT 2002 AND VI 12 AND IP 3

Results: 5
    1

    Impredicativity entails untypedness.

    Published in:
    Mathematical Structures in Computer Science, 2002, v. 12, n. 3, p. 335, doi. 10.1017/S0960129502003663
    By:
    • LIETZ, PETER;
    • STREICHER, THOMAS
    Publication type:
    Article
    2
    3

    Tripos theory in retrospect.

    Published in:
    Mathematical Structures in Computer Science, 2002, v. 12, n. 3, p. 265, doi. 10.1017/S096012950200364X
    By:
    • PITTS, ANDREW M.
    Publication type:
    Article
    4

    Realizability: a historical essay.

    Published in:
    Mathematical Structures in Computer Science, 2002, v. 12, n. 3, p. 239, doi. 10.1017/S0960129502003626
    By:
    • VAN OOSTEN, JAAP
    Publication type:
    Article
    5

    Foreword.

    Published in:
    Mathematical Structures in Computer Science, 2002, v. 12, n. 3, p. 237, doi. 10.1017/S0960129502003602
    By:
    • Birkedal, Lars;
    • Rosolini, Giuseppe;
    • Scott, Dana S.;
    • van Oosten, Jaap
    Publication type:
    Article