Pesquisar

Pesquisa global

Email*Este campo é obrigatório.

Senha*Este campo é obrigatório.

ArquivoMichael Wright Collection
6663 mais...
ItemMW0000114 - 08/09/07 PSSL 86, Nancy: Peter Johnstone: Quadrangle clubs (part 2) / breaktime conversations / Paul-Andre Mellies: Towards an algebra of duality
ItemMW0000114 - 08/09/07 PSSL 86, Nancy: Henrik Forssell: First order logical duality
ItemMW0000115 - 08/09/07 PSSL 86, Nancy: Krzysztof Worytkievicz: Folk model structure for co-categories
ItemMW0000115 - 08/09/07 PSSL 86, Nancy: Nicola Gambino: Associated sheaf functor in algebraic set theory / Peter Johnstone: Quadrangle clubs (part 1)
ItemMW0000116 - 07/09/07 PSSL 86, Nancy: evening conversations / Steve Awodey: Homotopy type theory
ItemMW0000116 - 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
ItemMW0000117 - 05/09/07 IHPST, Paris: Guido Bacciagaluppi: Quantum logic & truth functionality
ItemMW0000117 - 05/09/07 IHPST, Paris: Guido Bacciagaluppi: Quantum logic & thruth functionality (contd.)
ItemMW0000118 - 05/11/07 REHSEIS Generality: discussion of Emily Grosholz's paper: Leibnizian analysis canonical objects & generalization / David Rabouin, Renaud Chorlay, Emily Grosholz, Eberhard Knobloch?
1563 mais...

Relatórios

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

Não existem relatórios relevantes para este item

Impressão: 2026-04-19