Search

Search Funnelback University

Search powered by Funnelback
21 - 30 of 60 search results for KA :PC53 |u:www.dpmms.cam.ac.uk where 0 match all words and 60 match some words.
  1. Results that match 1 of 2 words

  2. The Effective Topos J.M.E. HylandDepartment of Pure Mathematics,…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/hyland-effectivetopos.pdf
    25 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
  3. The Effective Topos J.M.E. HylandDepartment of Pure Mathematics,…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub81-90/hyland-effectivetopos.pdf
    25 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
  4. 26 Apr 2006: pjw6Onj[tkj"t8z}}nNpxoLsOvX}r6r[sOYj[v.Srt3nN vjwp3n.yro8zìáKáç!Ká%é¤èäYrodpxq6n66oLrtLn.tXrw|!pxq!sOt1Yj[hn.o.lQn6rW6r[p(o3nN6sOoLnjW6nNY!sSpxsSrBr[|!p3qYjwpÁlQntLsO}6Sz6n.nNpxr6rl
  5. Vanishing cycles and non-classical parabolic cohomologyA. J.…

    https://www.dpmms.cam.ac.uk/~ajs1005/preprints/van.pdf
    29 Jan 2010: y0! (R0iig Symk F)x! (R1g! Symk F)x! (R1g Symk F)x! 0k k kA B CHere the top line is the exact sequence (2.8.1), and the bottom
  6. Independence for Partition Regular Equations Imre Leader∗† Paul A. ...

    https://www.dpmms.cam.ac.uk/~par31/preprints/indeppr.pdf
    18 Sep 2006: Let A be a finite set and ka positive integer. Then there exists a positive integer d such that whenever Ad.
  7. lectures.dvi

    https://www.dpmms.cam.ac.uk/~md384/lectures.pdf
    8 Nov 2007: Definition 2.14. Let Σ be a 3-manifold, ḡ a Riemannian metric on Σ, and Ka symmetric covariant 2-tensor.
  8. aap100.dvi

    https://www.dpmms.cam.ac.uk/~ik355/PAPERS/firstJ.pdf
    5 Jun 2020: The Annals of Applied Probability2003, Vol. 13, No. 1, 304–362. SPECTRAL THEORY AND LIMIT THEOREMS FORGEOMETRICALLY ERGODIC MARKOV PROCESSES. BY I. KONTOYIANNIS1 AND S. P. MEYN2. Brown University and University of Illinois. Consider the partial
  9. Publications | Department of Pure Mathematics and Mathematical…

    https://www.dpmms.cam.ac.uk/publications?page=179
    29 Jun 2024: CJB BROOKES, KA BROWN. – Transactions of the American Mathematical Society.
  10. Modi�ed Realizability Toposes and Strong Normalization Proofs…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho93.pdf
    21 Aug 2008: 1. ): ka#. and. (S. 2. ) 9a 2 U:fa(ga)# =) sfg#:.
  11. Modi�ed Realizability Toposes and Strong Normalization Proofs…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/ho93.pdf
    21 Aug 2008: 1. ): ka#. and. (S. 2. ) 9a 2 U:fa(ga)# =) sfg#:.

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.