Affichage de 30 résultats

Description archivistique

Scott, Dana

Aperçu avant impression

Card view Table view

21/08/95 10th International Congress of Logic, Methodology and Philosophy of Science, Florence: V Stepin: Problem of interpretation in modern physics / H Boehme: Philosophy of Science without History? The case of Quantum Mechanics / Dana Scott: 25 years of domain theory

MW0003053 · Pièce

Fait partie de Michael Wright Collection

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

MW0000997 · Pièce

Fait partie de Michael Wright Collection

13/05/74 Oxford Seminar: Dana Scott: David Lewis on counterparts & possible world semantics

MW0000998 · Pièce

Fait partie de Michael Wright Collection

04/07/09 Oxford Maths & Philosophy at 40, Dept of Physics, Oxford: conversation: Dan Isaacson / Dana Scott: Lattices and logic / Angus Macintyre: Logic of exponentiation - Tarski, Schanuel & recent developments in model theory

MW0000329 · Pièce

Fait partie de 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

MW0000887 · Pièce

Fait partie de Michael Wright Collection

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

MW0001558 · Pièce

Fait partie de Michael Wright Collection

B

MW0001558 · Pièce

Fait partie de Michael Wright Collection

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

MW0000969 · Pièce

Fait partie de Michael Wright Collection

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

MW0000973 · Pièce

Fait partie de Michael Wright Collection

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

MW0000998 · Pièce

Fait partie de Michael Wright Collection