20/05/88 Math Logic Seminar, Oxford: Martin Hyland: Algebraic data types in models for the second-order lambda calculus Adicionar à área de transferência MWC-MW0003551 · Item 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.) Adicionar à área de transferência MWC-MW0003552 · Item Parte de Michael Wright Collection
20/05/88 Math Logic Seminar, Oxford: Andrew Hodges: Twistor formulation Adicionar à área de transferência MWC-MW0003551 · Item 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 Adicionar à área de transferência MWC-MW0003552 · Item Parte de Michael Wright Collection