Homotopy type theory / Homotopical semantics of parallel composition in CC (& others) — Part 7

Name: Homotopy type theory / Homotopical semantics of parallel composition in CC (& others) — Part 7
Start: 2007
Location: Discussions incl. FW Lawvere re plans for Boston colloquium

Wright, Michael; Lawvere, FW; Awodey, Steve; Gauche, Philippe; Worytkievicz, Kryzysztof; Gambino, Nicola; Johnstone, Peter; Mellies, Paul Andre; Weber, Mark; Pavlovic, Dusko

Michael Wright / FW Lawvere / Steve Awodey / Philippe Gauche / Kryzysztof Worytkievicz / Nicola Gambino / Peter Johnstone / Paul Andre Mellies / Mark Weber / Dusko Pavlovic Discussions incl. FW Lawvere re plans for Boston colloquium 2007

← All recordings

Recorded at Discussions incl. FW Lawvere re plans for Boston colloquium (2007), featuring Michael Wright, FW Lawvere, Steve Awodey, Philippe Gauche, Kryzysztof Worytkievicz, Nicola Gambino, Peter Johnstone, Paul Andre Mellies, Mark Weber, Dusko Pavlovic. From the Michael Wright Collection, held by the Archive Trust for Research in Mathematical Sciences & Philosophy.

Identifier: mw0002560-dvdr-12_p
Format: Audio recording
Collection: Michael Wright Collection
Repository: Archive Trust for Research in Mathematical Sciences & Philosophy
Rights: Made available for personal scholarly use. Rights in recordings are generally held by the speakers or their estates. If you believe this recording infringes your rights, please contact [email protected].