A calculus of open modules: call-by-need strategy and confluence?
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 4, p. 675, doi. 10.1017/S0960129507006238
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 2007 AND VI 17 AND IP 4
Results: 7
1
2
Coalgebraic description of generalised binary methods?
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 4, p. 647, doi. 10.1017/S0960129507006214
- By:
- Publication type:
- Article
3
Boxed ambients with communication interfaces?
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 4, p. 587, doi. 10.1017/S0960129507006226
- By:
- Publication type:
- Article
4
More developments in computational models: introduction.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 4, p. 585, doi. 10.1017/S0960129507006196
- By:
- Publication type:
- Article
5
On the size complexity of universal accepting hybrid networks of evolutionary processors.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 4, p. 753, doi. 10.1017/S0960129507006202
- By:
- Publication type:
- Article
6
A projective formalism applied to topological and probabilistic event structures.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 4, p. 819, doi. 10.1017/S096012950700607X
- By:
- Publication type:
- Article
7
Restriction categories III: colimits, partial limits and extensivity.
- Published in:
- Mathematical Structures in Computer Science, 2007, v. 17, n. 4, p. 775, doi. 10.1017/S0960129507006056
- By:
- Publication type:
- Article