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:

Kurz, Alexander;
Petrişan, Daniela

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:

Kostanek, Mateusz;
Waszkiewicz, Paweł

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:

Hyland, Martin

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:

Goubault-Larrecq, Jean

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:

Escardó, Martín;
Oliva, Paulo

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:

Berger, Ulrich;
Blanck, Jens;
Køber, Petter Kristian

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:

Reus, Bernhard;
Jung, Achim;
Keimel, Klaus;
Streicher, Thomas

Publication type:

Article