Search

Search Funnelback University

Search powered by Funnelback
10 results 20 results 50 results
Relevance Date (Newest first) Date (Oldest first) Title (A-Z) Title (Z-A) Distance URL (A-Z) URL (Z-A) Shuffle
1 - 4 of 4 search results for KaKaoTalk:po03 op |u:www.dpmms.cam.ac.uk where 0 match all words and 4 match some words.

  1. Results that match 1 of 2 words

  2. A Dialectica-style Interpretation of Type Theory - Symposium in…

    https://www.dpmms.cam.ac.uk/~martin/Research/Slides/venice13.pdf
    27 Oct 2014: We can identify that with. Σ(Sets2 Sets)op ,. the result of freely adding sums to the opposite of Setsindexed over Sets. ... Pol(PolF) = Σ(ΣFop)op = ΣΠF. and so one can find it inside the iterated polynomialmodel.

  3. Part III - Algebraic Geometry, Michaelmas 2013.

    https://www.dpmms.cam.ac.uk/~pmhw/AG2013Notes.pdf
    10 Oct 2014: finitely generated reduced k-algebrasand their homomorphisms. }op. So affine algebraic geometry is a branch of commutative algebra and consequently isnot very interesting. ... ring) under the the obvious pointwise op-erations. With the obvious

  4. Automorphy lifting for residually reducible l-adic Galois…

    https://www.dpmms.cam.ac.uk/~jat58/reducible_lifting.pdf
    16 Apr 2014: Automorphy lifting for residually reducible l-adic Galois. representations. Jack A. Thorne. April 16, 2014. Abstract. We prove automorphy lifting theorems for residually reducible Galois representations in the settingof unitary groups over CM fields.

  5. WACT 2013 Towards a Notion of Lambda Monoid Martin ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2014/tnlm14.pdf
    2 Jan 2014: mans was to code up what will be products and then give a suitably related op-.

Refine your results

clear all

Date

Search history

Recently clicked results

Recently clicked results

Your click history is empty.

Recent searches

Recent searches

Your search history is empty.