Search
Search Funnelback University
- Refined by:
- Date: 2016
21 -
22 of
22
search results for TALK:ZA31 24 / |u:www.dpmms.cam.ac.uk
where 0
match all words and 22
match some words.
Results that match 1 of 2 words
-
The Effective Topos J.M.E. HylandDepartment of Pure Mathematics,…
https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/hyland-effectivetopos.pdf25 May 2016: The Effective Topos. J.M.E. HylandDepartment of Pure Mathematics, Cambridge, England. 0 IntroductionThe subject of this paper is the most accessible of a series of toposes whichcan be constructed from notions of realizability: it is that based on -
The Effective Topos J.M.E. HylandDepartment of Pure Mathematics,…
https://www.dpmms.cam.ac.uk/~martin/Research/Pub81-90/hyland-effectivetopos.pdf25 May 2016: The Effective Topos. J.M.E. HylandDepartment of Pure Mathematics, Cambridge, England. 0 IntroductionThe subject of this paper is the most accessible of a series of toposes whichcan be constructed from notions of realizability: it is that based on
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.