Works matching IS 09601295 AND DT 2006 AND VI 16 AND IP 2

Results: 12

Denotational semantics for a program logic of objectsThis work was supported by the EPSRC under grant GR/R65190/01, ‘Programming Logics for Denotations of Recursive Objects’.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 313, doi. 10.1017/s0960129506005214

By:

BERNHARD REUS;
JAN SCHWINGHAMMER

Publication type:

Article

Compactly generated domain theoryResearch supported by an EPSRC research grant, ‘Topological Models of Computational Metalanguages’, and an EPSRC Advanced Research Fellowship (Simpson).

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 141, doi. 10.1017/s0960129506005202

By:

INGO BATTENFELD;
MATTHIAS SCHRÖA R;
ALEX SIMPSON

Publication type:

Article

Partial metrisability of continuous posets.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 359, doi. 10.1017/s0960129506005196

By:

PAWEŁ WASZKIEWICZ

Publication type:

Article

Quotients of countably based spaces are not closed under sobrification.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 223, doi. 10.1017/s0960129506005184

By:

GARY GRUENHAGE;
THOMAS STREICHER

Publication type:

Article

A domain-theoretic Banach–Alaoglu theorem.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 299, doi. 10.1017/s0960129506005172

By:

GORDON PLOTKIN

Publication type:

Article

The strength of Engeler's lemma.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 291, doi. 10.1017/s0960129506005160

By:

JAN PASEKA

Publication type:

Article

Monoids over domains.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 255, doi. 10.1017/s0960129506005159

By:

MICHAEL MISLOVE

Publication type:

Article

On sequential functionals of type 3.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 279, doi. 10.1017/s0960129506005147

By:

DAG NORMANN

Publication type:

Article

A Cartesian closed extension of the category of locales.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 231, doi. 10.1017/s0960129506005135

By:

REINHOLD HECKMANN

Publication type:

Article

Graph models of $\lambda$-calculus at work, and variations.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 185, doi. 10.1017/s0960129506005123

By:

CHANTAL BERLINE

Publication type:

Article

Preface.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 139, doi. 10.1017/s096012950600510x

By:

MARTÍN ESCARDÓ;
ACHIM JUNG;
THOMAS STREICHER

Publication type:

Article

Modified bar recursion.

Published in:

Mathematical Structures in Computer Science, 2006, v. 16, n. 2, p. 163, doi. 10.1017/s0960129506005093

By:

ULRICH BERGER;
PAULO OLIVA

Publication type:

Article