Works matching IS 09601295 AND DT 2005 AND VI 15 AND IP 4
Results: 5
Abstract hierarchical graph transformation.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 4, p. 773, doi. 10.1017/s0960129505004846
- By:
- Publication type:
- Article
Categorical models for Abadi and Plotkin's logic for parametricity.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 4, p. 709, doi. 10.1017/s0960129505004834
- By:
- Publication type:
- Article
Modelling general recursion in type theory.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 4, p. 671, doi. 10.1017/s0960129505004822
- By:
- Publication type:
- Article
Semi-pullbacks for stochastic relations over analytic spaces.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 4, p. 647, doi. 10.1017/s096012950500472x
- By:
- Publication type:
- Article
Finiteness spaces.
- Published in:
- Mathematical Structures in Computer Science, 2005, v. 15, n. 4, p. 615, doi. 10.1017/s0960129504004645
- By:
- Publication type:
- Article