Realisability semantics of parametric polymorphism, general references and recursive types.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 655, doi. 10.1017/S0960129510000162
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2010 AND VI 20 AND IP 4
Results: 8
1
2
Coherence for monoidal endofunctors.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 523, doi. 10.1017/S0960129510000022
- By:
- Publication type:
- Article
3
Diagrammatic logic applied to a parameterisation process.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 639, doi. 10.1017/S0960129510000150
- By:
- Publication type:
- Article
4
Setoids and universes.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 563, doi. 10.1017/S0960129510000071
- By:
- Publication type:
- Article
5
Coherence for monoidal monads and comonads.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 545, doi. 10.1017/S0960129510000034
- By:
- Publication type:
- Article
6
A solution of the uniform word problem for ortholattices.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 625, doi. 10.1017/S0960129510000125
- By:
- Publication type:
- Article
7
Long-run cost analysis by approximation of linear operators over dioids.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 589, doi. 10.1017/S0960129510000113
- By:
- Publication type:
- Article
8
Rewriting systems for the surface classification theorem.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 4, p. 577, doi. 10.1017/S0960129510000101
- By:
- Publication type:
- Article