Works matching IS 09601295 AND DT 2008 AND VI 18 AND IP 4
Results: 5
An insertion operator preserving infinite reduction sequences.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 4, p. 693, doi. 10.1017/S0960129508006816
- By:
- Publication type:
- Article
Coercions in a polymorphic type system.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 4, p. 729, doi. 10.1017/S0960129508006804
- By:
- Publication type:
- Article
Preface to the special issue: isomorphisms of types and invertibility of lambda terms.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 4, p. 645, doi. 10.1017/S0960129508006798
- By:
- Publication type:
- Article
On the building of affine retractions.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 4, p. 753, doi. 10.1017/S096012950800683X
- By:
- Publication type:
- Article
Curry-style type isomorphisms and game semantics.
- Published in:
- Mathematical Structures in Computer Science, 2008, v. 18, n. 4, p. 647
- By:
- Publication type:
- Article