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. Abstra t Games for Linear Logi Extended Abstra t ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/hs99.pdf
    22 Aug 2008: R x if and only if ju xj 1.Girard's Coheren e spa es [24,28 are essentially G?(Rel) for this orthogona-17. ... Springer Verlag, 1993.[16 G.M. Bierman. On intuitionisti linear logi. Te hni al Report 346, Universityof Cambridge Computer Laboratory, August

  3. doi:10.1016/j.entcs.2006.04.024

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2006/hnpr06.pdf
    18 Aug 2008: Longo, Set-Theoretical Models of λ-Calculus: Theories, Expansions, Isomorphisms, Ann. Pure Appl.Logic 24 (1983) 153–188.

  4. BT08 Part II Representation Theory Sheet 2 Unless otherwise ...

    https://www.dpmms.cam.ac.uk/study/II/RepresentationTheory/2007-2008/repex2.pdf
    4 Feb 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.

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

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

  7. Electronic Notes in Theoretical Computer Science 83 (2004)URL:…

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2003/chp03.pdf
    19 Aug 2008: 24]. So we are keen to define the notion of Kleisli bicategoryin a way that includes such variants. ... Diff. 21 (1980)111–160. [24] Winskel, G., Linearity and non-linearity in distributed computation, (bookchapter, to appear).

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

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

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

  11. ANALYSIS II EXAMPLES 1 Michaelmas 2005 J. M. E. ...

    https://www.dpmms.cam.ac.uk/~martin/Teaching/an05-1.pdf
    19 Mar 2008: ANALYSIS II EXAMPLES 1. Michaelmas 2005 J. M. E. Hyland. The Basic Questions are cover examinable material from the course. The Additional Questions arefor those wishing to take things a bit further. The questions are not all equally difficult; I

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.