Found: 8
Select item for more details and to access through your institution.
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
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
Foreword.
- Published in:
- Mathematical Structures in Computer Science, 1997, v. 7, n. 5, p. 399, doi. 10.1017/s0960129597002399
- By:
- Publication type:
- Article
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
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
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
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
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