Three extensional models of type theory.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 2, p. 417, doi. 10.1017/S0960129509007440
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2009 AND VI 19 AND IP 2
Results: 6
1
2
Boolean and classical restriction categories.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 2, p. 357, doi. 10.1017/S0960129509007543
- By:
- Publication type:
- Article
3
The space of formal balls and models of quasi-metric spaces.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 2, p. 337, doi. 10.1017/S0960129509007439
- By:
- Publication type:
- Article
4
On a measurement-free quantum lambda calculus with classical control.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 2, p. 297, doi. 10.1017/S096012950800741X
- By:
- Publication type:
- Article
5
Correctness of high-level transformation systems relative to nested conditions.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 2, p. 245, doi. 10.1017/S0960129508007202
- By:
- Publication type:
- Article
6
On traced monoidal closed categories.
- Published in:
- Mathematical Structures in Computer Science, 2009, v. 19, n. 2, p. 217, doi. 10.1017/S0960129508007184
- By:
- Publication type:
- Article