Mostrando 20 resultados

Descripción archivística

Hyland, Martin

Imprimir vista previa

Card view Table view

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

MW0001744 · Unidad documental simple

Parte de 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)

MW0001752 · Unidad documental simple

Parte de 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)

MW0001561 · Unidad documental simple

Parte de Michael Wright Collection

19/11/03 - Hiland (sic)

MW0001610 · Unidad documental simple

Parte de Michael Wright Collection

23/06/07 CT 2007, Carveilho, Portugal: Martin Hyland: Fibrations in logic

MW0002524 · Unidad documental simple

Parte de Michael Wright Collection

26/06/08 Calais International Category Theory Conference: Marta Bunge: Stacks revisited: Instrinsic n-stack completions over a topos / discussions incl. M Hyland & FW Lawvere / Pedro Resende: Quantales, Toposes and Groupoids / Andrée Ehresmann: From Schwartz distributions to the theory of control and evolutive systems / discussions incl. FW Lawvere

MW0002409 · Unidad documental simple

Parte de 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

MW0001748 · Unidad documental simple

Parte de Michael Wright Collection

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

MW0003552 · Unidad documental simple

Parte de Michael Wright Collection

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

MW0003552 · Unidad documental simple

Parte de Michael Wright Collection

25/07/90 CT90 category theory conference, Como, Italy: Martin Hyland: Synthetic domain theory

MW0003329 · Unidad documental simple

Parte de Michael Wright Collection