MSC volume 4 issue 2 Cover and Back matter.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 2, p. b1, doi. 10.1017/S0960129500000402
- Publication type:
- Article
Works matching IS 09601295 AND DT 1994 AND VI 4 AND IP 2
Results: 7
1
2
Partial hyperdoctrines: categorical models for partial function logic and Hoare logic.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 2, p. 117, doi. 10.1017/S0960129500000414
- By:
- Publication type:
- Article
3
MSC volume 4 issue 2 Cover and Front matter.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 2, p. f1, doi. 10.1017/S0960129500000396
- Publication type:
- Article
4
The mix rule.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 2, p. 273, doi. 10.1017/S0960129500000451
- By:
- Publication type:
- Article
5
Sketches and computation – II: dynamic evaluation and applications.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 2, p. 239, doi. 10.1017/S096012950000044X
- By:
- Publication type:
- Article
6
A categorical approach to database semantics.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 2, p. 147, doi. 10.1017/S0960129500000426
- By:
- Publication type:
- Article
7
Sketches and computation – I: basic definitions and static evaluation.
- Published in:
- Mathematical Structures in Computer Science, 1994, v. 4, n. 2, p. 185, doi. 10.1017/S0960129500000438
- By:
- Publication type:
- Article