Program specification and data refinement in type theory.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 3, p. 333, doi. 10.1017/S0960129500000256
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1993 AND VI 3 AND IP 3
Results: 5
1
2
An application of PER models to program extraction.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 3, p. 309, doi. 10.1017/S0960129500000244
- By:
- Publication type:
- Article
3
Introduction to distributive categories.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 3, p. 277, doi. 10.1017/S0960129500000232
- By:
- Publication type:
- Article
4
MSC volume 3 issue 3 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 3, p. b1, doi. 10.1017/S0960129500000220
- Publication type:
- Article
5
MSC volume 3 issue 3 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1993, v. 3, n. 3, p. f1, doi. 10.1017/S0960129500000219
- Publication type:
- Article