Michael Wright Collection

Showing 20 results

Archival description

Hyland, Martin

Print preview

Card view Table view

11/07/02 Sheaves & Topoi in Physics, Imperial College London: lunch discussions / Martin Hyland: talk

MWC-MW0001738 · Item

Part of Michael Wright Collection

12/07/02 Sheaves & Topoi in Physics, Imperial College London: lunch conversations M Hyland, J Baez et al

MWC-MW0001744 · Item

Part of Michael Wright Collection

19/11/03 - Hiland (sic)

MWC-MW0001610 · Item

Part of Michael Wright Collection

19/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Colin McLarty: Mathematics as Philosophy - Mechane, Grothendieck, Lawvere / Martin Hyland: Higher dimensional linear algebra / Coffee break: P Cartier / Martha Bunge: Geometric aspects of Lawvere distributions (1st part)

MWC-MW0001561 · Item

Part of Michael Wright Collection

20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus

MWC-MW0003551 · Item

Part of Michael Wright Collection

20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus

MWC-MW0003552 · Item

Part of Michael Wright Collection

20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus (contd.)

MWC-MW0003552 · 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: 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

23/0/6/08 CT08, Calaias: Lunch conversations incl M Wright, FW Lawvere & M Hyland re Grothendieck

MWC-MW0003510 · Item

Part of Michael Wright Collection