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 48 search results for TALK:PC53 20 |u:www.dpmms.cam.ac.uk where 0 match all words and 48 match some words.

  1. Results that match 1 of 2 words

  2. Williams of Deudraeth

    https://www.dpmms.cam.ac.uk/~tf/williams.html
    20 Feb 2008: 1939. He d. 20 Aug. 1939. The Laurence Gotch who married his daughter seems to be Gotch junior of Gotch Saunders & Surridge.

  3. Michaelmas Term 2003 J. M. E. Hyland Linear Algebra: ...

    https://www.dpmms.cam.ac.uk/~martin/Teaching/2ndla03.pdf
    12 Aug 2008: . 1 0 3 01 3 1 20 0 1 01 2 1 1. ... 1. 11. Consider the matrix A =. . 1 0 20 1 10 1 0.

  4. Michaelmas Term 2003 J. M. E. Hyland Linear Algebra: ...

    https://www.dpmms.cam.ac.uk/~martin/Teaching/4thla03.pdf
    12 Aug 2008: 20. Prove Hadamard’s Inequality: if A is a real n n matrix with |aij| k, then. |

  5. Michaelmas Term 2003 J. M. E. Hyland Linear Algebra: ...

    https://www.dpmms.cam.ac.uk/~martin/Teaching/3rdla03.pdf
    12 Aug 2008: . . . 20. Let P2 = P2(x,y) be the space of polynomials in x,y of degree 2 in each variable.

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

    https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/bbdphtlca93.pdf
    27 Aug 2008: Samson Abramsky. Computational interpretations of linear logic. Technical Report90/20, Department of Computing, Imperial College, London, October 1990.2.

  7. Combining computational effects: commutativityand sum Martin Hyland,1 …

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/hpp02.pdf
    19 Aug 2008: 93, No. 1,pp. 55–92, 1991. 20. G. D. Plotkin, A Powerdomain Construction, SIAM J. ... 20, Amsterdam:Elsevier, 1999. 28. A. J. Power and G. Rosolini, A Modular Approach to Denotational Semantics, inProc.

  8. Abstra t Games for Linear Logi Extended Abstra t ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/hs99.pdf
    22 Aug 2008: 20. If theexponential omonad on C is entral, then both the loose ategory G(?)(C)and the tight ategory G?(C) are models for lassi al linear logi. ... CUP, 1995.[20 P.-H. Chu. -Autonomous ategories, hapter Constru ting -autonomous ategories.

  9. Abstra t Games for Linear Logi Extended Abstra t ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/hs99.pdf
    22 Aug 2008: 20. If theexponential omonad on C is entral, then both the loose ategory G(?)(C)and the tight ategory G?(C) are models for lassi al linear logi. ... CUP, 1995.[20 P.-H. Chu. -Autonomous ategories, hapter Constru ting -autonomous ategories.

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

    https://www.dpmms.cam.ac.uk/~twk/Topg.pdf
    8 Mar 2008: 20. 9 Characters. Recall that a character θ on a commutative Banach algebra B is non-zerolinear functional θ : B C such that θ(ab) = θ(a)θ(b) for all

  11. THE CARTESIAN CLOSED BICATEGORY OFGENERALISED SPECIES OF STRUCTURES…

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2008/fghw08.pdf
    19 Aug 2008: Applications are discussed in Section 6. The construction leading to the Kleisli bicategory of generalised speciesis analogous to the construction of the relational model of linear logic [20].This model can ... Winskel, Two-dimensional Kleisli struc-tures

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.