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

  1. Results that match 1 of 2 words

  2. mlics.dvi

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/hs02.pdf
    13 Aug 2008: Theoretical Computer Science,20:265–321, 1982. [3] P.-L. Curien. Categorical Combinators, Sequential Algo-rithms and Functional Programming.

  3. Categorical Proof Theory of Classical PropositionalCalculus Gianluigi …

    https://www.dpmms.cam.ac.uk/~martin/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/~martin/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. Church’s Set Theory with a Universal Set Thomas Forster ...

    https://www.dpmms.cam.ac.uk/~tf/church2001.pdf
    7 May 2008: 142.1.4 Church’s Model. 17. 2.2 Wellfounded sets in CO-structures. 20. 3 Open problems 263.1 The Axioms of Sumset and Power set. ... PROPOSITION 20 The co of definition 19 is extensional. Proof: The proof is an inductive proof (by cases) on the

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

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

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

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

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

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

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

  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. Differential Geometry by Will MerryLecture notes based on the ...

    https://www.dpmms.cam.ac.uk/~pmhw/DG2007.pdf
    15 Oct 2008: yjp(xj) = bj. xi. yj(p). (4). 1.20 DefinitionLet Φ : M N be a smooth map between smooth manifolds. ... 4 Lie groups 20. where F is defined to be the smooth composite at the bottom.

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.