Works matching IS 09601295 AND DT 2010 AND VI 20 AND IP 2
Results: 7
On universal algebra over nominal sets.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 2, p. 285, doi. 10.1017/S0960129509990399
- By:
- Publication type:
- Article
The limit—colimit coincidence theorem for Q-categories.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 2, p. 267, doi. 10.1017/S0960129509990387
- By:
- Publication type:
- Article
Some reasons for generalising domain theory.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 2, p. 239, doi. 10.1017/S0960129509990375
- By:
- Publication type:
- Article
De Groot duality and models of choice: angels, demons and nature.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 2, p. 169, doi. 10.1017/S0960129509990363
- By:
- Publication type:
- Article
Selection functions, bar recursion and backward induction.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 2, p. 127, doi. 10.1017/S0960129509990351
- By:
- Publication type:
- Article
Domain representations of spaces of compact subsets.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 2, p. 107, doi. 10.1017/S096012950999034X
- By:
- Publication type:
- Article
Preface for the special issue on domains.
- Published in:
- Mathematical Structures in Computer Science, 2010, v. 20, n. 2, p. 105, doi. 10.1017/S0960129509990338
- By:
- Publication type:
- Article