Search
Search Funnelback University
- Refined by:
- Date: 2008
11 -
20 of
35
search results for TALK:ZA31 24 / |u:www.dpmms.cam.ac.uk
where 0
match all words and 35
match some words.
Results that match 1 of 2 words
-
A Term Calculus for Intuitionistic Linear LogicNick Benton1, Gavin ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/bbdphtlca93.pdf27 Aug 2008: These 100 cases of cuts we will consider as follows: 40 casesof cuts the form (R;D) as we have 4 right rules and 10 others; 24 cases of cuts ofthe ... There are hence 24 remaining cutsof interest.We now summarize the cuts of which we need to take some -
THE CARTESIAN CLOSED BICATEGORY OFGENERALISED SPECIES OF STRUCTURES…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2008/fghw08.pdf19 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 -
Some improvements to 4-descent on an elliptic curve Tom ...
https://www.dpmms.cam.ac.uk/~taf1000/papers/fourdesc.pdf2 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/. -
Abstra t Games for Linear Logi Extended Abstra t ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/hs99.pdf22 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 -
Abstra t Games for Linear Logi Extended Abstra t ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/hs99.pdf22 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 -
Electronic Notes in Theoretical Computer Science 83 (2004)URL:…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2003/chp03.pdf19 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). -
Variations on Realizability: Realizing the Propositional Axiom of…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/vor02.pdf13 Aug 2008: 18The treatment of quotients in Jacobs [24] should make clear what is intended. ... Myhill. Choice implies excluded middle. Zeitschriftfür mathematische Logik und Grundlagen der Mathematik, 24:461, 1978. -
K0 AND THE DIMENSION FILTRATION FOR p-TORSIONIWASAWA MODULES…
https://www.dpmms.cam.ac.uk/~sjw47/rankskzero.pdf20 Feb 2008: Proof. When N = G this is follows from [13, Theorem 7.24]; see also [1, Lemma3.11]. ... Lemma. The quotient category Fd/Fd1 is equivalent to M(Q(kG)). Proof. This follows from [24, Propositions XI.3.4(a) and XI.6.4], with appropriatemodifications to -
Categorical Proof Theory of Classical PropositionalCalculus Gianluigi …
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2006/bhru06.pdf18 Aug 2008: normalforms to which a proof in the sequent calculus can reduce (seefor example [24, Page127]). ... The project on which we report here was motivated by Urban’s strong normalisationresult ([25] and [24]) for a formulation of classical proof.In [11], -
Topological GroupsPart III, Spring 2008 T. W. Körner March ...
https://www.dpmms.cam.ac.uk/~twk10/Topg.pdf8 Mar 2008: 24. 12 The inversion theorem. Before proving Bochner’s theorem we need some simple results on positivedefinite functions.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.