Linear Logic in Computer Science

Ediciones (4)

• Linear Logic in Computer Science (2011)

  Cambridge University Press · inglés · ISBN 9780511894329

• Linear Logic in Computer Science (2010)

  Cambridge University Press · inglés · ISBN 9780511550850

• Linear Logic in Computer Science (2004)

  Cambridge University Press · inglés · ISBN 9781299405172

• Linear logic in computer science (2004)

  Cambridge University Press · inglés

Más obras de Jean-Yves Girard

The blind spot

Advances in linear logic

Proofs and types

Immortal Element

MMachine de Turing

Machine de Turing

Face à faces

Ver todas las obras de Jean-Yves Girard →