## 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:Note that ex-directory lists are not shown. |
## Other listsRSLC PhD/Postdoc Seminars (Chemistry) Met and Mat Seminar Series Algebra Reading Group on Sporadic Groups## Other talksMulti-dimensional vector assignment problems (MVA) : Complexity, Approximation and Algorithms Intriguing Properties of Adversarial ML Attacks in the Problem Space Algebraic and combinatorial decompositions of Fuchsian groups School Seminar Combining Organic Synthesis, Isotopes and Synthetic Biology in Natural Products Research An attack on ECDSA using lattice techniques |