Michael Wright Collection

Mostrando 20 resultados

Descripción archivística

Hyland, Martin

Imprimir vista previa

Card view Table view

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

michael-wright-collection-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

michael-wright-collection-MW0003551 · 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

michael-wright-collection-MW0003552 · Unidad documental simple

Parte de Michael Wright Collection

23/06/07 Intl. Category Theory Conference, Carveilho: Martin Hyland: Fibrations in logic

michael-wright-collection-MW0000140 · Unidad documental simple

Parte de Michael Wright Collection

26/06/08 Calais International Category Theory Conference: Discussions incl. M Hyland & FW Lawvere

michael-wright-collection-MW0002409 · Unidad documental simple

Parte de Michael Wright Collection

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

michael-wright-collection-MW0003510 · Unidad documental simple

Parte de Michael Wright Collection

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

michael-wright-collection-MW0003329 · 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

michael-wright-collection-MW0001748 · Unidad documental simple

Parte de Michael Wright Collection

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

michael-wright-collection-MW0002524 · Unidad documental simple

Parte de Michael Wright Collection

24/06/08 International Category Meeting, Calais: George Janelidze: Internal categories, descent and Galois theory in monoidal categories / FW Lawvere: Extensivity, rig geometry and core varieties / Richard Wood: Duals invert / MW notes / discussions incl. FW Lawvere & M Hyland

michael-wright-collection-MW0003365 · Unidad documental simple

Parte de Michael Wright Collection