Michael Wright Collection

Math Logic Seminar

Área de elementos

Taxonomía

Código

Nota(s) sobre el alcance

Nota(s) sobre el origen

Mostrar nota(s)

Términos jerárquicos

Math Logic Seminar

Términos equivalentes

Math Logic Seminar

Términos asociados

Math Logic Seminar

4 Descripción archivística resultados para Math Logic Seminar

Sólo resultados directamente relacionados

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

MWC-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 (contd.)

MWC-MW0003552 · Unidad documental simple

Parte de Michael Wright Collection

20/05/88 Math Logic Seminar, Oxford: Andrew Hodges: Twistor formulation

MWC-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

MWC-MW0003552 · Unidad documental simple

Parte de Michael Wright Collection