## Synthetic domain theory versus N^\infty-setsAdd to your list(s) Download to your calendar using vCal - Prof Mojgan Mahmoudi (Shahid Beheshti University)
- Thursday 26 June 2014, 14:00-15:00
- CS 217.
If you have a question about this talk, please contact Neel Krishnaswami. Following Dana Scott’s idea of studying domain-theoretic structures as set-theoretic structures in a model of intuitionistic set theory; especially thinking ``domains are sets” and ``continuous maps are maps” and working in a topos, the idea of synthetic domain theory (SDT) formalized in 1991 by Hyland, also Taylor. Then followed and expanded by some other people like Rosolini, Phoa, and Simpson, also few models of synthetic domain theory were introduced (see for example Fiore’s paper). In this talk, the ideas of Synthetic Domain Theory are
considered in the presheaf topos of $\N This talk is part of the Lab Lunch series. ## This talk is included in these lists:- CS 217
- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- Lab Lunch
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsDinner Table Terrorism - Achieving Food Security analysis Nuclear physics seminars## Other talksTBC |