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
4030 mais...
Item
MW0001744 - 12/07/02 Sheaves & Topoi in Physics, Imperial College London: lunch conversations M Hyland, J Baez et al
Item
MW0001744 - BLANK
Item
MW0001745 - 27/07/02 MW reflections & phone messages
Item
MW0001745 - 27/07/02 MW reflections & phone messages
Item
MW0001746 - 22/07/02 Copenhagen: Conversations FW Lawvere re. restriction of toposes to be generalised spaces (to be localic / QD)
Item
MW0001747 - 22/07/02 Copenhagen: Discussions incl. FW Lawvere re. various topics
Item
MW0001748 - 21/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Jiri Adamek: A description of free iterative theories (2nd part) / Fer-Jan de Vries: A lambda calculus for D / lunchtime conversations: FW Lawvere & M Hyland re. algebra of time, topos theory
Item
MW0001749 - 21/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Gordon Plotkin: Algebraic aspects of domain theory / breaktime conversations: FW Lawvere / Glynn Winskel: Domain theory for concurrency / brief conversation: FW Lawvere
Item
MW0001750 - 21/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: FW Lawvere: Some open problems concerning Cartesian closed categories / breaktime conversations: FW Lawvere, A Kock re. differential geometry in a topos & objective number theory
4196 mais...
Pesquisar
Relatórios
22/07/02 Copenhagen: Conversations FW Lawvere re. restriction of toposes to be generalised spaces (to be localic / QD)
Relatórios
Não existem relatórios relevantes para este item
Cancelar