Connecting you to content on EBSCOhost

Works matching IS 09601295 AND DT 2018 AND VI 28 AND IP 2

Results: 5

1

The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 2, p. 287, doi. 10.1017/S096012951600027X

By:

HAMANA, MAKOTO;
MATSUDA, KAZUTAKA;
ASADA, KAZUYUKI

Publication type:

Article

2

Natural models of homotopy type theory.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 2, p. 241, doi. 10.1017/S0960129516000268

By:

AWODEY, STEVE

Publication type:

Article

3

On the expressiveness of π-calculus for encoding mobile ambients.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 2, p. 202, doi. 10.1017/S0960129516000256

By:

BRODO, LINDA

Publication type:

Article

4

Polygraphs of finite derivation type.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 2, p. 155, doi. 10.1017/S0960129516000220

By:

GUIRAUD, YVES;
MALBOS, PHILIPPE

Publication type:

Article

5

A second note on the feasibility of generalized universal composability.

Published in:

Mathematical Structures in Computer Science, 2018, v. 28, n. 2, p. 141, doi. 10.1017/S0960129516000074

By:

GONZÁLEZ, ALONSO;
HEVIA, ALEJANDRO

Publication type:

Article