Connecting you to content on EBSCOhost

Works matching IS 09601295 AND DT 2005 AND VI 15 AND IP 4

Results: 5

1

Abstract hierarchical graph transformation.

Published in:

Mathematical Structures in Computer Science, 2005, v. 15, n. 4, p. 773, doi. 10.1017/s0960129505004846

By:

GIORGIO BUSATTO;
HANS-JÖRG KREOWSKI;
SABINE KUSKE

Publication type:

Article

2

Categorical models for Abadi and Plotkin's logic for parametricity.

Published in:

Mathematical Structures in Computer Science, 2005, v. 15, n. 4, p. 709, doi. 10.1017/s0960129505004834

By:

LARS BIRKEDAL;
RASMUS E. MØGELBERG

Publication type:

Article

3

Modelling general recursion in type theory.

Published in:

Mathematical Structures in Computer Science, 2005, v. 15, n. 4, p. 671, doi. 10.1017/s0960129505004822

By:

ANA BOVE;
VENANZIO CAPRETTA

Publication type:

Article

4

Semi-pullbacks for stochastic relations over analytic spaces.

Published in:

Mathematical Structures in Computer Science, 2005, v. 15, n. 4, p. 647, doi. 10.1017/s096012950500472x

By:

ERNST-ERICH DOBERKAT

Publication type:

Article

5

Finiteness spaces.

Published in:

Mathematical Structures in Computer Science, 2005, v. 15, n. 4, p. 615, doi. 10.1017/s0960129504004645

By:

THOMAS EHRHARD

Publication type:

Article