Search
Search Funnelback University
- Refined by:
- Date: 2016
1 -
3 of
3
search results for KA :ZA31 |u:www.dpmms.cam.ac.uk
where 0
match all words and 3
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/~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: Part III Computability and Logic:. 24 Lectures in Michaelmas Term 2015. Thomas Forster. June 18, 2016. 2. Contents. 1 Introduction and some History 7. 1.1 Definitions. 10. 2 Recursive Dataypes 11. 2.1 Wellfounded Induction. 11. 2.2 Inductively
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.