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
4038 mais...
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
Item
MW0001751 - 20/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Martin Escardo: Interactions between domain theory & topology / Panagis Karazeris: Left Kan extensions power domain distributivity & preservation of bisimulation
Item
MW0001752 - 20/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Martin Hyland: Domain models for lambda calculus - categorical perspective 30 years on / John Power: computational effects & operations in Lawvere theories / breaktime conversation: FW Lawvere / JC Reynolds: Relating intrinsic & extrinsic semantics in domain theory / Lee Flax: Approx of entailment theories (1st part)
Item
MW0001753 - 20/07/02 FLOC 2002, Domain Theory Workshop for Dana Scott's 70th, Copenhagen: Lee Flax: Approx of entailment theories (2nd part) / lunchtime conversations / conversations FW Lawvere & J Power / FW Lawvere re. extending notion of homomorphism vs ideals as point of departure fro noncommutative geometry
Item
MW0001754 - 20/07/02 Conversations (bus): FW Lawvere re. Schroeder vs Frege / Husserl
Item
MW0001754 - 20/07/02 Conversations (hotel): FW Lawvere re. Schroeder vs Frege / Husserl
Item
MW0001755 - 20/07/02 FW Lawvere et al. / conversations: FW Lawvere re. noncommutative geometry
Item
MW0001755 - 22/07/02 conversations: FW Lawvere
Item
MW0001756 - 24/07/02 BBC Radio 4: Broken Symmetries in the Early Universe
4188 mais...
Pesquisar
Relatórios
20/07/02 Conversations (bus): FW Lawvere re. Schroeder vs Frege / Husserl
Relatórios
Não existem relatórios relevantes para este item
Cancelar