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 KaKaoTalk:ZA31 24 24 |u:www.dpmms.cam.ac.uk where 0 match all words and 34 match some words.

  1. Results that match 2 of 3 words

  2. 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

  3. Complex analysis IB 2007 — lecture notes A J ...

    https://www.dpmms.cam.ac.uk/~ajs1005/complex/notes_2006-7.pdf
    1 Feb 2008: 24. 3.3 Singularities and the Laurent expansion; the residuetheorem. Just as a holomorphic function on a disc D(a,r) can be expanded as a series inpowers of (z a),

  4. A Term Calculus for Intuitionistic Linear LogicNick Benton1, Gavin ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/bbdphtlca93.pdf
    27 Aug 2008: These 100 cases of cuts we will consider as follows: 40 casesof cuts the form (R;D) as we have 4 right rules and 10 others; 24 cases of cuts ofthe ... There are hence 24 remaining cutsof interest.We now summarize the cuts of which we need to take some

  5. Combining effects: sum and tensor Martin Hyland,1 Gordon Plotkin2 ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2006/hpp06.pdf
    7 Aug 2008: Example 10. Probabilistic Nondeterminism A computationally natural pre-sentation of a countable Lawvere ω-Cpo-theory for probabilistic nondetermin-ism combined with nontermination [16,22,24,47] can be obtained by

  6. Linear Analysis T. W. Körner January 8, 2008 Small ...

    https://www.dpmms.cam.ac.uk/~twk/LA.pdf
    8 Jan 2008: 24. Theorem 10.6. [Bessel’s inequality] Consider an inner product space V.

  7. Groups, Rings and Modules(example sheet 4) NIS-B, Lent 2008 ...

    https://www.dpmms.cam.ac.uk/study/IB/GroupsRings%2BModules/2007-2008/grm_ex5_latex.pdf
    6 Mar 2008: V = {1, (12)(34), (13)(24), (14)(23)}. is a subgroup of A4 and that A4 is not simple.(ii) Describe V in terms of modules.(iii) Write the product

  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. 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

  10. 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

  11. On full abstra tion for PCF:I. Models, observables and ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/ho00.pdf
    22 Aug 2008: Thus, Berryand Curien introdu ed sequential algorithms over dss [10 (see also Curien's book[24 for a omprehensive introdu tion). ... 11, 23, 57. Curien's book (se ond edition) [24 provides an ex ellent a ountof the main body of resear h inspired by the

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.