Search
Search Funnelback University
- Refined by:
- Date: 2016
1 -
3 of
3
search results for KA :PC53 24 |u:www.dpmms.cam.ac.uk
where 0
match all words and 3
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 -
Part III Computability and Logic: 24 Lectures in Michaelmas ...
https://www.dpmms.cam.ac.uk/~tef10/cam_only/partiiicomputability.pdf18 Jun 2016: 24. 2.7.2 Bounded Character. 27. 2.8 Ordinals. 28. 2.8.1 Rank functions. ... D-finite subsets. 24 CHAPTER 2. RECURSIVE DATAYPES. 2.7 Finite vs Bounded vs Unbounded Character.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.