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 - 10 of 34 search results for TALK:ZA31 24 / |u:www.dpmms.cam.ac.uk where 0 match all words and 34 match some words.

  1. Results that match 1 of 2 words

  2. Variations on Realizability: Realizing the Propositional Axiom of…

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/vor02.pdf
    13 Aug 2008: 18The treatment of quotients in Jacobs [24] should make clear what is intended. ... Myhill. Choice implies excluded middle. Zeitschriftfür mathematische Logik und Grundlagen der Mathematik, 24:461, 1978.

  3. Topological GroupsPart III, Spring 2008 T. W. Körner March ...

    https://www.dpmms.cam.ac.uk/~twk/Topg.pdf
    8 Mar 2008: 24. 12 The inversion theorem. Before proving Bochner’s theorem we need some simple results on positivedefinite functions.

  4. THE CARTESIAN CLOSED BICATEGORY OFGENERALISED SPECIES OF STRUCTURES…

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2008/fghw08.pdf
    19 Aug 2008: Each of these corresponds tothe composition of associated formal power series (see, e.g., [23, 24, 40, 6, 38,37, 7]). ... 1981), 1–82. 24. , Foncteurs analytiques et espèces de structures, Combinatoire Énumérative,Lecture Notes in Mathematics, vol

  5. Term Assignment for Intuitionistic Linear Logic�(Preliminary…

    https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/bbdph92.pdf
    27 Aug 2008: Term Assignment for Intuitionistic Linear Logic(Preliminary Report)Nick Benton Gavin Bierman Valeria de PaivaComputer LaboratoryUniversity of Cambridgefpnb,gmb,vcvpg@cl.cam.ac.ukMartin HylandDepartment of Pure Mathematics and Mathematical

  6. Term Assignment for Intuitionistic Linear Logic�(Preliminary…

    https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/bbdph92.pdf
    27 Aug 2008: Term Assignment for Intuitionistic Linear Logic(Preliminary Report)Nick Benton Gavin Bierman Valeria de PaivaComputer LaboratoryUniversity of Cambridgefpnb,gmb,vcvpg@cl.cam.ac.ukMartin HylandDepartment of Pure Mathematics and Mathematical

  7. STATISTICAL MODELLING Part IIC. Example Sheet 4 (of 4) ...

    https://www.dpmms.cam.ac.uk/study/II/StatisticalModelling/2007-2008/controlled/ex4.pdf
    3 Feb 2008: 35 30High Yes 9 12 19 19High No 24 25 28 29.

  8. Some improvements to 4-descent on an elliptic curve Tom ...

    https://www.dpmms.cam.ac.uk/~taf1000/papers/fourdesc.pdf
    2 Feb 2008: 2, 304315. 2. J.W.S. Cassels, Lectures on elliptic curves, LMS Student Texts, 24, CUP, Cam-bridge, 1991. ... Symbolic Comput. 24 (1997), no. 3-4, 235265. TheMagma home page is at http://magma.maths.usyd.edu.au/magma/.

  9. Proof Theory in the Abstract J. M. E. Hyland ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/pta02.pdf
    13 Aug 2008: A precise connection was given by Hofmann andStreicher [24]. As explained in detail by Selinger [37], RC corresponds to thecall-by-name λµ-calculus, and CR to the call by value. ... 24. 5 Classical Proof. In the previous section I discussed approaches

  10. PART II REPRESENTATION THEORYSHEET 2 Unless otherwise stated, all ...

    https://www.dpmms.cam.ac.uk/study/II/RepresentationTheory/2008-2009/repex2.pdf
    17 Nov 2008: 1 21 42 56 24 24α 14 2 0 1 0 0β 15 1 1 0 1 1γ 16 0 0 2 2 2.

  11. Optimization Michael Tehranchi/DPKExample sheet 2 - Easter 2008 16.…

    https://www.dpmms.cam.ac.uk/study/IB/Optimization/2007-2008/example2.pdf
    1 Nov 2008: suggested in lectures.]. 24. Find a maximal flow and a minimal cut for the network pictured with a source at node1 and a sink at node n.

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.