Michael Wright Collection

Jean-Yves Girard Workshop, IHP

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Jean-Yves Girard Workshop, IHP

Equivalent terms

Jean-Yves Girard Workshop, IHP

Associated terms

Jean-Yves Girard Workshop, IHP

6 Archival description results for Jean-Yves Girard Workshop, IHP

6 results directly related Exclude narrower terms

12/09/07 Jean-Yves Girard Workshop, IHP, Paris: talk 5: Peter Selinger: Linear logic in quantum computation

MWC-MW0000110 · Item

Part of Michael Wright Collection

12/09/07 Jean-Yves Girard Workshop, IHP, Paris: talk 1: What is a process from the categorical viewpoint? / talk 2 (part 1)

MWC-MW0000108 · Item

Part of Michael Wright Collection

11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Thierry Paul: Quantum to classical, letting the dimension diverge

MWC-MW0000111 · Item

Part of Michael Wright Collection

11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Olivier Laurent: When 77A = A / breaktime conversations / Ieke Moerdijk: Trees, tensors & weak higher categories

MWC-MW0000112 · Item

Part of Michael Wright Collection

11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Ieke Moerdijk: Trees, tensors & weak higher categories (contd.)

MWC-MW0000112 · Item

Part of Michael Wright Collection

11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Bernard Teissier: Cognation & foundations

MWC-MW0000111 · Item

Part of Michael Wright Collection