Copenhagen

Área de elementos

Taxonomia

Locais

Código

Nota(s) de âmbito

Nota(s) da fonte

Mostrar nota(s)

Termos hierárquicos

Copenhagen

Termos equivalentes

Copenhagen

Termos associados

Copenhagen

17 Descrição arquivística resultados para Copenhagen

17 resultados diretamente relacionados Excluir termos específicos

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)

MW0001752 · Item

Parte de Michael Wright Collection

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

MW0001753 · Item

Parte de Michael Wright Collection

26/09/02 Conference On Interactions Between Maths, Physics & Philosophy 1850 - 1940, Carlsberg Acedemia, Copenhagen: David Hyder: Helmholtz's aprioristic notions of kinematics of matter & cause / Erhard Scholz: Weyl's changing conception of matter between classical unified field theory and quantum views 1918-1923

MW0001808 · Item

Parte de Michael Wright Collection

27/09/02 Conference On Interactions Between Maths, Physics & Philosophy 1850 - 1940, Carlsberg Acedemia, Copenhagen: pre-session coversations with speakers / conversation: J Gray & others / MW? remarks? / start of discussion post- Erhard Scholz: From Weyl's analysis of problem of space to gauge principles & structures in relativistic quantum physics 1923-1929 / lunch conversations: D Rowe re. reception of GRT

MW0001810 · Item

Parte de Michael Wright Collection

22/07/02 Copenhagen: Conversations FW Lawvere re. restriction of toposes to be generalised spaces (to be localic / QD)

MW0001746 · Item

Parte de Michael Wright Collection

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

MW0001748 · Item

Parte de Michael Wright Collection

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

MW0001749 · Item

Parte de Michael Wright Collection

28/09/02 Conference On Interactions Between Maths, Physics & Philosophy 1850 - 1940, Carlsberg Acedemia, Copenhagen: David Rowe, The early reception of GRT - mathematical & philosophical perspectives / Robert DiSalle: Mathematical structure, "world structure" & the philosophical turning point in modern physics

MW0001804 · Item

Parte de Michael Wright Collection

28/09/02 Conference On Interactions Between Maths, Physics & Philosophy 1850 - 1940, Carlsberg Acedemia, Copenhagen: Helmut Pulte: Space between Helmholtz & Einstein - Schlick on spatial intuition & foundations of geometry (partial) / Michel Janssen: Transition from Newtonian particle mechanics to relativistic continuum mechanics 1895-1911

MW0001805 · Item

Parte de Michael Wright Collection

22/07/02 Copenhagen: Discussions incl. FW Lawvere re. various topics

MW0001747 · Item

Parte de Michael Wright Collection

Navegar Locais:

Limite os seus resultados por:

Assunto

Copenhagen

Área de elementos

Taxonomia

Código

Nota(s) de âmbito

Nota(s) da fonte

Mostrar nota(s)

Termos hierárquicos

Copenhagen

Termos equivalentes

Copenhagen

Termos associados

Copenhagen

17 Descrição arquivística resultados para Copenhagen