Closed reduction: explicit substitutions without $\alpha$-conversion.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 343
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2005 AND VI 15 AND IP 2
Results: 8
1
2
Extensions of valuations.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 271, doi. 10.1017/s096012950400461x
- By:
- Publication type:
- Article
3
Periodic Linear Programming with applications to real-time scheduling.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 383, doi. 10.1017/s0960129504004657
- By:
- Publication type:
- Article
4
Garside monoids vs divisibility monoids.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 231, doi. 10.1017/s0960129504004414
- By:
- Publication type:
- Article
5
Classical linear logic of implications.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 323, doi. 10.1017/s0960129504004621
- By:
- Publication type:
- Article
6
The largest Cartesian closed category of domains, considered constructively.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 299, doi. 10.1017/s0960129504004591
- By:
- Publication type:
- Article
7
A comonadic account of behavioural covarieties of coalgebras.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 243, doi. 10.1017/s096012950400458x
- By:
- Publication type:
- Article
8
On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 2, p. 201, doi. 10.1017/s0960129504004578
- By:
- Publication type:
- Article