Connecting you to content on EBSCOhost

Works matching IS 09601295 AND DT 2010 AND VI 20 AND IP 3

Results: 6

1

Towards a typed Geometry of Interaction.

Published in:

Mathematical Structures in Computer Science, 2010, v. 20, n. 3, p. 473, doi. 10.1017/S096012951000006X

By:

Haghverdi, Esfabdiar;
Scott, Philip

Publication type:

Article

2

Domain theoretic characterisations of quasi-metric completeness in terms of formal balls.

Published in:

Mathematical Structures in Computer Science, 2010, v. 20, n. 3, p. 453, doi. 10.1017/S0960129510000010

By:

Romaguera, Salvador;
Valero, Oscar

Publication type:

Article

3

Iterative reflections of monads.

Published in:

Mathematical Structures in Computer Science, 2010, v. 20, n. 3, p. 419, doi. 10.1017/S0960129509990326

By:

Adámek, Jiří;
Milius, Stefan;
Velebil, Jiří

Publication type:

Article

4

On the operating unit size of load/store architectures.

Published in:

Mathematical Structures in Computer Science, 2010, v. 20, n. 3, p. 395, doi. 10.1017/S0960129509990314

By:

Bergstra, J. A.;
Middleburg, C. A.

Publication type:

Article

5

Bitopological duality for distributive lattices and Heyting algebras.

Published in:

Mathematical Structures in Computer Science, 2010, v. 20, n. 3, p. 359, doi. 10.1017/S0960129509990302

By:

Bezhanishvili, Guram;
Bezhanishvili, Nick;
Gabelaia, David;
Kurz, Alexander

Publication type:

Article

6

Tree-functors, determinacy and bisimulations.

Published in:

Mathematical Structures in Computer Science, 2010, v. 20, n. 3, p. 319, doi. 10.1017/S0960129509990272

By:

de Nicola, Rocco;
Gorla, Daniele;
Labella, Anna

Publication type:

Article