Works matching IS 09601295 AND DT 2017 AND VI 27 AND IP 5

Results: 14
    1
    2

    Computing with relational machines.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 807, doi. 10.1017/S0960129515000390
    By:
    • HUET, GÉRARD;
    • RAZET, BENOÎT
    Publication type:
    Article
    3

    Clocked lambda calculus.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 782, doi. 10.1017/S0960129515000389
    By:
    • ENDRULLIS, JÖRG;
    • HENDRIKS, DIMITRI;
    • KLOP, JAN WILLEM;
    • POLONSKY, ANDREW
    Publication type:
    Article
    4
    5
    6

    Redexes are stable in the λ-calculus.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 738, doi. 10.1017/S0960129515000353
    By:
    • LÉVY, JEAN-JACQUES
    Publication type:
    Article
    7
    8
    9

    The parametric continuation monad.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 651, doi. 10.1017/S0960129515000328
    By:
    • MELLIÈS, PAUL-ANDRÉ
    Publication type:
    Article
    10

    Isomorphism of intersection and union types.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 603, doi. 10.1017/S0960129515000304
    By:
    • COPPO, MARIO;
    • DEZANI-CIANCAGLINI, MARIANGIOLA;
    • MARGARIA, INES;
    • ZACCHI, MADDALENA
    Publication type:
    Article
    11

    Infinitary affine proofs.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 581, doi. 10.1017/S0960129515000298
    By:
    • MAZZA, DAMIANO
    Publication type:
    Article
    12
    13
    14

    Essential and relational models.

    Published in:
    Mathematical Structures in Computer Science, 2017, v. 27, n. 5, p. 626, doi. 10.1017/S0960129515000316
    By:
    • PAOLINI, LUCA;
    • PICCOLO, MAURO;
    • RONCHI DELLA ROCCA, SIMONA
    Publication type:
    Article