Michael Wright Collection ← archivetrust.org

Math Logic Seminar

Elements area

Taxonomy

Code

Scope note(s)

Source note(s)

Display note(s)

Hierarchical terms

Math Logic Seminar

Equivalent terms

Math Logic Seminar

Associated terms

Math Logic Seminar

4 Archival description results for Math Logic Seminar

4 results directly related Exclude narrower terms

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

MW0003551 · Item · 1988-05-20

Part of Michael Wright Collection

Hodges, Andrew

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

MW0003551 · Item · 1988-05-20

Part of Michael Wright Collection

Hyland, Martin

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

MW0003552 · Item · 1988-05-20

Part of Michael Wright Collection

Hyland, Martin

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

MW0003552 · Item · 1988-05-20

Part of Michael Wright Collection

Hyland, Martin