Copenhagen

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Copenhagen

Equivalent terms

Copenhagen

Associated terms

Copenhagen

17 Archival description results for Copenhagen

17 results directly related Exclude narrower terms

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

Part of Michael Wright Collection

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

MW0001751 · Item

Part of Michael Wright Collection

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

Part of Michael Wright Collection

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

MW0001750 · Item

Part of 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

Part of 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

Part of Michael Wright Collection

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

MW0001746 · Item

Part of Michael Wright Collection

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

MW0001747 · Item

Part of 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

Part of Michael Wright Collection

26/09/02 Conference On Interactions Between Maths, Physics & Philosophy 1850 - 1940, Carlsberg Acedemia, Copenhagen: Jasper Lutzen: Mechanistic images in geometric form - Hertz's principles of mechanics / Lawrence Sklar: Solving & dissolving conundrum of probability in statistical mechanics

MW0001809 · Item

Part of Michael Wright Collection