Skip to main content
Archive Trust
Mathematical Sciences & Philosophy
Toggle navigation
Navegar
Navegar
Descripción archivística
Registro de autoridad
Instituciones archivísticas
Funciones
Materias
Lugares
Objetos digitales
Búsqueda
Search options
Búsqueda global
Búsqueda avanzada
Search in browse page
Portapapeles
Portapapeles
Portapapeles
Borrar selección
Ir al portapapeles
Cargar portapapeles
Save clipboard
Idioma
Idioma
Idioma
English
Français
Español
Nederlands
Português
Enlaces rápidos
Enlaces rápidos
Enlaces rápidos
Inicio
Acerca
Privacy Policy
Ayuda
Iniciar sesión
¿Estás registrado?
Correo electrónico
*
This field is required.
Contraseña
*
This field is required.
Iniciar sesión
Fondos
Búsqueda rápida
Fondo
Michael Wright Collection
6660 más...
Unidad documental simple
MW0000112 - 11/09/07 Jean-Yves Girard Workshop, IHP, Paris: Ieke Moerdijk: Trees, tensors & weak higher categories (contd.)
Unidad documental simple
MW0000113 - 09/09/07 PSSL 86, Nancy: Mark Weber: Parametric right adjoints and generalized nerves / Julia Goedecke: A comparision theorem for simplicical resolutions
Unidad documental simple
MW0000113 - 09/09/07 PSSL 86, Nancy: breaktime conversations S Awodey & D Pavlovic re. FW Lawvere, adjoints & Leibniz / Dusko Pavlovic: Geometry of abstraction +/or authentication
Unidad documental simple
MW0000114 - 08/09/07 PSSL 86, Nancy: Peter Johnstone: Quadrangle clubs (part 2) / breaktime conversations / Paul-Andre Mellies: Towards an algebra of duality
Unidad documental simple
MW0000114 - 08/09/07 PSSL 86, Nancy: Henrik Forssell: First order logical duality
Unidad documental simple
MW0000115 - 08/09/07 PSSL 86, Nancy: Krzysztof Worytkievicz: Folk model structure for co-categories
Unidad documental simple
MW0000115 - 08/09/07 PSSL 86, Nancy: Nicola Gambino: Associated sheaf functor in algebraic set theory / Peter Johnstone: Quadrangle clubs (part 1)
Unidad documental simple
MW0000116 - 07/09/07 PSSL 86, Nancy: evening conversations / Steve Awodey: Homotopy type theory
Unidad documental simple
MW0000116 - 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
1566 más...
Búsqueda
Informes
08/09/07 PSSL 86, Nancy: Henrik Forssell: First order logical duality
Informes
No hay informes relevantes para este ítem
Cancelar