Search
Search Funnelback University
- Refined by:
- Date: 2016
1 -
2 of
2
search results for KA :PC53 24 |u:www.dpmms.cam.ac.uk
where 0
match all words and 2
match some words.
Results that match 2 of 3 words
-
The Effective Topos J.M.E. HylandDepartment of Pure Mathematics,…
https://www.dpmms.cam.ac.uk/~jmeh1/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/~jmeh1/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.