Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Admissions
Research
News & Events
(current)
About Us
Alumni
Our Students
Innovation
Home
News & Events
Events
OASIS: The Oxford Advanced Seminar on Informatic Structures
Synthetic topology of data types and classical spaces
Synthetic topology of data types and classical spaces
Martin H Escardo ( University of Birmingham )
22
Oct
12:00 22nd October 2004 ( week 2, Michaelmas Term 2004 )
Share this:
Seminar Series
OASIS: The Oxford Advanced Seminar on Informatic Structures
See also
Algebra of Programming
Computational Linguistics
Differentiable and Probabilistic Programming
Foundations of Programming Languages
Functional Programming
Quantum Group
Programming Languages
Quantum
Coordinators
Paolo Perrone
Sam Staton
News & Events
News
Events
Upcoming Events
Events for prospective students and schools groups
Seminars by Series
Seminars by Date
Lecture Timetables
Back to Top