Michael Wright Collection

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

MWC-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

MWC-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)

MWC-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

MWC-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

MWC-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

MWC-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)

MWC-MW0001746 · Item

Part of Michael Wright Collection

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

MWC-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

MWC-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

MWC-MW0001809 · Item

Part of Michael Wright Collection