Search
Search Funnelback University
- Refined by:
- Date: 2016
21 -
23 of
23
search results for katalk:PC53 24 / |u:www.dpmms.cam.ac.uk
where 0
match all words and 23
match some words.
Results that match 1 of 2 words
-
Inverse Problems in Geometry and DynamicsLecture notes Will J. ...
https://www.dpmms.cam.ac.uk/~gpp24/ipgd%283%29.pdf30 Apr 2016: will introduce later (see Exercise 3.24). ... EXERCISE 1.24. Prove the lemma (the reader may find a proof using local coordinates in [GHL04,Theorem 2.124], or an intrinsic proof is given in [Pat99, Proposition 1.21], -
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.