Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descrições arquivísticas
Registos de autoridade
Instituição arquivística
Funções
Assuntos
Locais
Objeto digital
Pesquisar
Search options
Pesquisa global
Pesquisa avançada
Search in browse page
Área de transferência
Área de transferência
Área de transferência
Limpar todas as selecções
Ir para a área de transferência
Carregar Área de Transferência
Guardar área de transferência
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Ligações rápidas
Ligações rápidas
Ligações rápidas
Início
Sobre
Política de privacidade
Ajuda
Entrar
Já possui uma conta?
Email
*
Este campo é obrigatório.
Senha
*
Este campo é obrigatório.
Entrar
Acervos documentais
Pesquisa rápida
Arquivo
Michael Wright Collection
7106 mais...
Item
MW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Introductory remarks
Item
MW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Steve Awodey: Homotopy type theory / Philippe Gaucher: Homotopical semantics of parallel composition in CC
Item
MW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Kryzysztof Worytkievicz: The folk-model structure for omega-categories
Item
MW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Nicola Gambino: The associated sheaf factor in algebraic set theory
Item
MW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Peter Johnstone: Quadrangle clubs
Item
MW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Paul Andre Mellies: First-order logical duality
Item
MW0002560 - 08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Mark Weber: Parametric right adjoints theorem for simplicial resolutions / Julia Goedecke: A comparison theorem for simplicial resolutions
Item
MW0002560 - 09/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Dusko Pavlovic: The geometry of abstraction
Item
MW0002561 - 12/08/07 CQL 2007, Oxford science lab: AM coffee break conversations / Dusko Pavlovic: Geometry of data abstraction in quantum computing / Eric Paquette: Anyons & ribbon categories / PM coffee break conversations / Ross Duncan: Quantum entanglement and freely constructed compact categeories / Final conversations / 09/09/07 Dusko Pavlovic (incomplete) / subsequent discussion / 11/09/07: Meeting for 60th Birthday of Jean-Yves Girard, IHP, Paris: Olivier Laurent: Is not not A=A? / Iekke Moerdijk: Trees, Tensors and weak higher categories / Bernard Teissier: Cognition & foundations / Thierry Paul: How to go from quantum to classical systems by letting the dimension diverge / MW trip from IHP to hotel
1120 mais...
Pesquisar
Relatórios
08/09/07 PSSL 86; Peripatetic Seminar on Sheaves & Logic, Institut E. Cartan University Nancy, France: Peter Johnstone: Quadrangle clubs
Relatórios
Não existem relatórios relevantes para este item
Cancelar