Michael Wright Collection

Showing 7 results

Archival description

Power, John

Print preview

Card view Table view

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)

michael-wright-collection-MW0001752 · Item

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

michael-wright-collection-MW0001753 · Item

Part of Michael Wright Collection

04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere

michael-wright-collection-MW0000887 · Item

Part of Michael Wright Collection

04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere

michael-wright-collection-MW0000887 · Item

Part of Michael Wright Collection

04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere

michael-wright-collection-MW0000887 · Item

Part of Michael Wright Collection

04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere

michael-wright-collection-MW0000887 · Item

Part of Michael Wright Collection

04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere

michael-wright-collection-MW0000887 · Item

Part of Michael Wright Collection