Isomorphisms of simple inductive types through extensional rewriting.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 5, p. 875, doi. 10.1017/s0960129505004950
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2005 AND VI 15 AND IP 5
Results: 7
1
2
Efficient algorithms for isomorphisms of simple types.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 5, p. 917, doi. 10.1017/s0960129505004913
- By:
- Publication type:
- Article
3
A computational view of implicit coercions in type theory.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 5, p. 839, doi. 10.1017/s0960129505004901
- By:
- Publication type:
- Article
4
Classical isomorphisms of types.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 5, p. 969, doi. 10.1017/s0960129505004895
- By:
- Publication type:
- Article
5
Matching with multiplication and exponentiation (extended abstract).
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 5, p. 959, doi. 10.1017/s0960129505004883
- By:
- Publication type:
- Article
6
A short survey of isomorphisms of types.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 5, p. 825, doi. 10.1017/s0960129505004871
- By:
- Publication type:
- Article
7
Foreword.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 5, p. 821, doi. 10.1017/s096012950500486x
- By:
- Publication type:
- Article