Search
Search Funnelback University
- Refined by:
- Date: 2014
1 -
3 of
3
search results for KaKaoTalk:po03 op |u:www.dpmms.cam.ac.uk
where 0
match all words and 3
match some words.
Results that match 1 of 2 words
-
A Dialectica-style Interpretation of Type Theory - Symposium in…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Slides/venice13.pdf27 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. -
Automorphy lifting for residually reducible l-adic Galois…
https://www.dpmms.cam.ac.uk/~jat58/reducible_lifting.pdf16 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. -
WACT 2013 Towards a Notion of Lambda Monoid Martin ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2014/tnlm14.pdf2 Jan 2014: mans was to code up what will be products and then give a suitably related op-.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.