An enrichment theorem for an axiomatisation of categories of domains and continuous functions.
- Published in:
- Mathematical Structures in Computer Science, 1997, v. 7, n. 5, p. 591, doi. 10.1017/s0960129597002429
- By:
- Publication type:
- Article
Works matching IS 09601295 AND DT 1997 AND VI 7 AND IP 5
Results: 8
1
2
Action semantics reasoning about functional programs.
- Published in:
- Mathematical Structures in Computer Science, 1997, v. 7, n. 5, p. 557, doi. 10.1017/s0960129597002417
- By:
- Publication type:
- Article
3
Foreword.
- Published in:
- Mathematical Structures in Computer Science, 1997, v. 7, n. 5, p. 399, doi. 10.1017/s0960129597002399
- By:
- Publication type:
- Article
4
Premonoidal categories and notions of computation.
- Published in:
- Mathematical Structures in Computer Science, 1997, v. 7, n. 5, p. 453, doi. 10.1017/s0960129597002375
- By:
- Publication type:
- Article
5
Spaces of maximal points.
- Published in:
- Mathematical Structures in Computer Science, 1997, v. 7, n. 5, p. 543, doi. 10.1017/s0960129597002363
- By:
- Publication type:
- Article
6
A categorical generalization of Scott domains.
- Published in:
- Mathematical Structures in Computer Science, 1997, v. 7, n. 5, p. 419, doi. 10.1017/s0960129597002351
- By:
- Publication type:
- Article
7
A semantic characterisation of the correctness of a proof net.
- Published in:
- Mathematical Structures in Computer Science, 1997, v. 7, n. 5, p. 445, doi. 10.1017/s096012959700234x
- By:
- Publication type:
- Article
8
When Scott is weak on the top.
- Published in:
- Mathematical Structures in Computer Science, 1997, v. 7, n. 5, p. 401, doi. 10.1017/s0960129597002338
- By:
- Publication type:
- Article