Michael Wright Collection

Showing 30 results

Archivistische beschrijving

Scott, Dana

Print preview

Card view Table view

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

MWC-MW0000972 · Stuk

Part of Michael Wright Collection

13/05/74 Dana Scott: Lewis (contd.)?

MWC-MW0000998 · Stuk

Part of Michael Wright Collection

24/07/74 Dana Scott

MWC-MW0003734 · Stuk

Part of Michael Wright Collection

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

MWC-MW0003739 · Stuk

Part of Michael Wright Collection

18/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Pierre Cartier: Away from set-theoretic geometry - schemes vs spaces / Dana Scott: Equilogical spaces / Andre Joyal: Relations between category theory & topology - influences (1st part)

MWC-MW0001550 · Stuk

Part of Michael Wright Collection

18/11/03 Ramifications of Category Theory Meeting (RAMCAT), Florence: Admin / lunch conversations incl A Afriat / Dana Scott: Equilogical spaces

MWC-MW0001558 · Stuk

Part of Michael Wright Collection

18/11/03 - Scott

MWC-MW0001617 · Stuk

Part of Michael Wright Collection

04/04/09 - 05/04/09 Peter Johnstone & Martin Hyland 60th Birthdays Conference, Centre for Math Sciences, Cambridge: Dana Scott; Richard Garner; Narcelo Fiore; Pierre-Louis Curlen; Olivia Caramello; Nicholas Duncan; Toby Kenney; Pino Rosolini; John Power; FW Lawvere

MWC-MW0000887 · Stuk

Part of Michael Wright Collection

10/06/74 Philosophy of Logic Seminar: Lewis, Scott & Jaakko Hintikka

MWC-MW0000969 · Stuk

Part of Michael Wright Collection

06/05/74 Dana Scott Seminar, Oxford: Dana Scott on David Lewis

MWC-MW0000997 · Stuk

Part of Michael Wright Collection