Michael Wright Collection

PSSL 86

Área de elementos

Taxonomia

Assuntos

Código

Nota(s) de âmbito

Nota(s) da fonte

Mostrar nota(s)

Termos hierárquicos

PSSL 86

Termos equivalentes

PSSL 86

Termos associados

PSSL 86

8 Descrição arquivística resultados para PSSL 86

8 resultados diretamente relacionados Excluir termos específicos

09/09/07 PSSL 86, Nancy: Mark Weber: Parametric right adjoints and generalized nerves / Julia Goedecke: A comparision theorem for simplicical resolutions

MWC-MW0000113 · Item

Parte de Michael Wright Collection

09/09/07 PSSL 86, Nancy: breaktime conversations S Awodey & D Pavlovic re. FW Lawvere, adjoints & Leibniz / Dusko Pavlovic: Geometry of abstraction +/or authentication

MWC-MW0000113 · Item

Parte de Michael Wright Collection

08/09/07 PSSL 86, Nancy: Krzysztof Worytkievicz: Folk model structure for co-categories

MWC-MW0000115 · Item

Parte de Michael Wright Collection

08/09/07 PSSL 86, Nancy: Peter Johnstone: Quadrangle clubs (part 2) / breaktime conversations / Paul-Andre Mellies: Towards an algebra of duality

MWC-MW0000114 · Item

Parte de Michael Wright Collection

08/09/07 PSSL 86, Nancy: Henrik Forssell: First order logical duality

MWC-MW0000114 · Item

Parte de Michael Wright Collection

08/09/07 PSSL 86, Nancy: Nicola Gambino: Associated sheaf functor in algebraic set theory / Peter Johnstone: Quadrangle clubs (part 1)

MWC-MW0000115 · Item

Parte de Michael Wright Collection

07/09/07 PSSL 86, Nancy: evening conversations / Steve Awodey: Homotopy type theory

MWC-MW0000116 · Item

Parte de Michael Wright Collection

07/09/07 PSSL 86, Nancy: Steve Awodey: Homotopy type theory (contd.) / discussion / Philippe Gaucher: Homotopical semantics of parallel composition in CCS / breaktime conversations: S Awodey & D Pavlovic

MWC-MW0000116 · Item

Parte de Michael Wright Collection

Navegar Assuntos:

Limite os seus resultados por:

PSSL 86

Área de elementos

Taxonomia

Código

Nota(s) de âmbito

Nota(s) da fonte

Mostrar nota(s)

Termos hierárquicos

PSSL 86

Termos equivalentes

PSSL 86

Termos associados

PSSL 86

8 Descrição arquivística resultados para PSSL 86