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

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

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

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

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/vor02.pdf
    13 Aug 2008: 21This analysis appears in Beeson [2]. 20. Logic in Computer Science, pages 188–198. ... Rosolini, editors, Category Theory, pages 131–156.Springer-Verlag, 1991. 21. [20] J. M.

  11. Abstract and ConcreteModels for Recursion Martin HYLANDDPMMS, CMS,…

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2008/acmr08.pdf
    22 Jan 2008: We refer the reader to [1], to [2] and to [20]for the basic mathematical theory. ... This situation is discussed in detail in [20], but for completeness we give asketch here.

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.