Term browse - FLOC 2002, Domain Theory Workshop for Dana Scott's 70th

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

FLOC 2002, Domain Theory Workshop for Dana Scott's 70th

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

FLOC 2002, Domain Theory Workshop for Dana Scott's 70th

Equivalent terms

FLOC 2002, Domain Theory Workshop for Dana Scott's 70th

Associated terms

FLOC 2002, Domain Theory Workshop for Dana Scott's 70th

6 Archival description results for FLOC 2002, Domain Theory Workshop for Dana Scott's 70th

Browse Subjects:

Narrow your results by:

FLOC 2002, Domain Theory Workshop for Dana Scott's 70th

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

FLOC 2002, Domain Theory Workshop for Dana Scott's 70th

Equivalent terms

FLOC 2002, Domain Theory Workshop for Dana Scott's 70th

Associated terms

FLOC 2002, Domain Theory Workshop for Dana Scott's 70th

6 Archival description results for FLOC 2002, Domain Theory Workshop for Dana Scott's 70th