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

  1. Results that match 1 of 2 words

  2. K0 AND THE DIMENSION FILTRATION FOR p-TORSIONIWASAWA MODULES…

    https://www.dpmms.cam.ac.uk/~sjw47/rankskzero.pdf
    20 Feb 2008: 20 KONSTANTIN ARDAKOV AND SIMON WADSLEY. 10. Some special cases. 10.1. ... Proof. This follows from Corollary 8.2. 10.2. A localisation sequence. Consider the localisation sequence of K-theory[20, Theorem 5.5] for the Serre subcategory Fi of the abelian

  3. Categorical Proof Theory of Classical PropositionalCalculus Gianluigi …

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2006/bhru06.pdf
    18 Aug 2008: The cyclic choiceof order may be familiarfrom non-commutative linear logic (Ruet [20]). ... 20. identifications. This gives a groupoid enriched functorSAut : Poly! Aut and agroupoid enriched adjunctionSAut a SPoly.

  4. doi:10.1016/j.entcs.2006.04.024

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2006/hnpr06.pdf
    18 Aug 2008: DD as a retract of D [20]. One obtains such a category by taking the Cauchy. ... LDPL 1996,Mathematical Structures in Computer Science 7 (1997) 453–468. [20] D.S.

  5. TRANSACTIONS OF THEAMERICAN MATHEMATICAL SOCIETYVolume 00, Number 0,…

    https://www.dpmms.cam.ac.uk/~taf1000/papers/pfaffians.pdf
    16 Jul 2008: n1)/2i=1 ai)x. (n1)/20. Since the ai are non-zero this Pfaffian is non-zero.

  6. Linear �-Calculus and Categorical ModelsRevisitedNick Benton1, Gavin…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/bbdphcsl93.pdf
    27 Aug 2008: Computational interpretations of linear logic. Technical Report90/20, Department of Computing, Imperial College, London, October 1990.2.

  7. Linear �-Calculus and Categorical ModelsRevisitedNick Benton1, Gavin…

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

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

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/pta02.pdf
    13 Aug 2008: Thusformally we have. A = ((U X) α(u,φ(u))7U). 20. which we interpret by means of the formulae. ... before. Since the above describes the maps in the category RDill there is indeed anassociative composition.20.

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

    https://www.dpmms.cam.ac.uk/~jmeh1/Teaching/1stla03.pdf
    12 Aug 2008: 20. An n n magic square is a square matrix whose rows, columns and two diagonals all sum to the samequantity.

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

    https://www.dpmms.cam.ac.uk/~jmeh1/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. Term Assignment for Intuitionistic Linear Logic�(Preliminary…

    https://www.dpmms.cam.ac.uk/~jmeh1/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

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.