Michael Wright Collection ← archivetrust.org

Copenhagen

Elements area

Taxonomy

Places

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 · 2002-07-20

Part of Michael Wright Collection

Flax, Lee

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 · 2002-07-20

Part of Michael Wright Collection

Escardo, Martin

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 · 2002-07-20

Part of Michael Wright Collection

Hyland, Martin

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 · 2002-07-21

Part of Michael Wright Collection

Lawvere, F. William

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 · 2002-07-21

Part of Michael Wright Collection

Plotkin, Gordon

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 · 2002-07-21

Part of Michael Wright Collection

Adamek, Jiri

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

MW0001746 · Item · 2002-07-22

Part of Michael Wright Collection

Lawvere, F. William

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

MW0001747 · Item · 2002-07-22

Part of Michael Wright Collection

Lawvere, F. William

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 · 2002-09-26

Part of Michael Wright Collection

Hyder, David

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 · 2002-09-26

Part of Michael Wright Collection

Lutzen, Jasper

Browse Places:

Narrow your results by:

Subject

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