Michael Wright Collection

Showing 30 results

Archival description

Scott, Dana

Print preview

Card view Table view

B

michael-wright-collection-MW0001558 · Item

Part of Michael Wright Collection

30/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (final lecture)

michael-wright-collection-MW0000979 · Item

Part of Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic (contd.)

michael-wright-collection-MW0003738 · Item

Part of Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II (contd.)

michael-wright-collection-MW0003739 · Item

Part of Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic - part II

michael-wright-collection-MW0003739 · Item

Part of Michael Wright Collection

30/07/74 ISILC - Logic Conference, Kiel: Dana Scott: On λ-calculus, continuous lattices & combinatory logic

michael-wright-collection-MW0003738 · Item

Part of Michael Wright Collection

26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (contd.)

michael-wright-collection-MW0000973 · Item

Part of Michael Wright Collection

26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (contd.)

michael-wright-collection-MW0000972 · Item

Part of Michael Wright Collection

26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus (contd.)

michael-wright-collection-MW0000973 · Item

Part of Michael Wright Collection

26/07/74 International Summer Institute and Logic Colloquium, Kiel: Dana Scott: Topological methods in lambda calculus

michael-wright-collection-MW0000972 · Item

Part of Michael Wright Collection