Search
Search Funnelback University
- Refined by:
- Date: 2008
21 -
40 of
40
search results for news |u:www.dpmms.cam.ac.uk
Fully-matching results
-
Linear �-Calculus and Categorical ModelsRevisitedNick Benton1, Gavin…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/bbdphcsl93.pdf27 Aug 2008: that we have just given is quite familiar, though thecorresponding equational calculus seems new (if only because our syntax is new).We note however that (following Seely [16]) it has become ... which involves the full category of coalgebras)is -
Linear �-Calculus and Categorical ModelsRevisitedNick Benton1, Gavin…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/bbdphcsl93.pdf27 Aug 2008: that we have just given is quite familiar, though thecorresponding equational calculus seems new (if only because our syntax is new).We note however that (following Seely [16]) it has become ... which involves the full category of coalgebras)is -
Modi�ed Realizability Toposes and Strong Normalization Proofs…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho93.pdf21 Aug 2008: Bee85, Ch. VI]; not so. in the case of c-pcas. As far as we know, the notion of c-pca is new. ... interpretation of implication, of which more anon. Modied Realizability Triposes Our aim for the rest of this section is to show that a new class. -
Abstra t Games for Linear Logi Extended Abstra t ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/hs99.pdf22 Aug 2008: CUP, 1997.[2 S. Abramsky and R. Jagadeesan. New foundations for the geometry ofintera tion. ... New foundations for the geometry ofintera tion. Inf. and Comp., 111(1):53{120, 1994.[5 S. -
Modi�ed Realizability Toposes and Strong Normalization Proofs…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/ho93.pdf21 Aug 2008: Bee85, Ch. VI]; not so. in the case of c-pcas. As far as we know, the notion of c-pca is new. ... interpretation of implication, of which more anon. Modied Realizability Triposes Our aim for the rest of this section is to show that a new class. -
Abstra t Games for Linear Logi Extended Abstra t ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/hs99.pdf22 Aug 2008: CUP, 1997.[2 S. Abramsky and R. Jagadeesan. New foundations for the geometry ofintera tion. ... New foundations for the geometry ofintera tion. Inf. and Comp., 111(1):53{120, 1994.[5 S. -
THE CARTESIAN CLOSED BICATEGORY OFGENERALISED SPECIES OF STRUCTURES…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2008/fghw08.pdf19 Aug 2008: Our second aim is twofold: to give an abstract theory of the substitu-tion calculus of generalised species and to further enrich the calculus ofcombinatorial species by adding a new dimension ... However, the closed structure exhibited in this -
K0 AND THE DIMENSION FILTRATION FOR p-TORSIONIWASAWA MODULES…
https://www.dpmms.cam.ac.uk/~sjw47/rankskzero.pdf20 Feb 2008: The resultnow follows from the new definition of χ(G,M) given in (8.4). -
Variations on Realizability: Realizing the Propositional Axiom of…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/vor02.pdf13 Aug 2008: 1. the propositions-as-types sense.1 We write the instance of the axiom above asAC(X Y ). The models I consider are not new. Some are derived from old ... Then one can define a new preorder on P(A)I by. φ (B) ψ if and only if. -
Linear Analysis T. W. Körner January 8, 2008 Small ...
https://www.dpmms.cam.ac.uk/~twk10/LA.pdf8 Jan 2008: Observe that this gives us a new proof that R is uncountable (and sotranscendental numbers exist) which does not depend on establishing decimalrepresentation. ... Our new theorem establishes existence under much more general condi-tions that those of -
Abstract and ConcreteModels for Recursion Martin HYLANDDPMMS, CMS,…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2008/acmr08.pdf22 Jan 2008: The examples will probably be quite familiar, butwe shall look at them in a new way. -
Combining algebraic effects with continuations Martin Hyland,1 Paul…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2007/hlpp07.pdf7 Aug 2008: the equations of each collection of operations separately, possibly togetherwith other, new, equations. ... The exception is New Jersey Standard ML where the capture/escapemechanism gives modeling difficulties. -
Proof Theory in the Abstract J. M. E. Hyland ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/pta02.pdf13 Aug 2008: Starting withthis data we construct a new category Dial = Dial(p) which we regard as acategory of propositions and proofs. ... φ•(i,ξ) if and only if x ξ.φ(i,x). From the data just described we construct a new category Dill = Dill(p)which we again -
Term Assignment for Intuitionistic Linear Logic�(Preliminary…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/bbdph92.pdf27 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 -
Machines and Their Languages G51MAL Dick Crouch Semester 2, ...
https://www.dpmms.cam.ac.uk/~tef10/cam_only/crouchnotes.pdf13 May 2008: You will probably find that the course introduces you to plethora of new termsand concepts. ... MATHEMATICAL PRELIMINARIES 21. the diagonal number will be 0.1234. Create a new number from the diagonal number by altering each digit ni,i asfollows. • -
Term Assignment for Intuitionistic Linear Logic�(Preliminary…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/bbdph92.pdf27 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 -
Combining effects: sum and tensor Martin Hyland,1 Gordon Plotkin2 ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2006/hpp06.pdf7 Aug 2008: We do not claim thatthese formulae are particularly new, though they may sometimes be more generalthan have appeared previously. ... The corresponding strong monadT is the lifting construction () which adds a new least element. -
2007 lectures on Set Theory Thomas Forster February 5, ...
https://www.dpmms.cam.ac.uk/~tef10/cam_only/partiii2004.pdf5 Feb 2008: This gives us a new theory, which we will—of course—call T2. ... to “new stuff” in MPt /U (by which I mean (MPt /U) K“Mt). -
On full abstra tion for PCF:I. Models, observables and ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho00.pdf22 Aug 2008: Agood model enlightens; it gives a new perspe tive on the behaviour or operationalsemanti s of the programming language in question. ... Stable fun tions are not ordered by the standard extensional (or point-wise) ordering5 but by a new ordering alled -
On full abstra tion for PCF:I. Models, observables and ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/ho00.pdf22 Aug 2008: Agood model enlightens; it gives a new perspe tive on the behaviour or operationalsemanti s of the programming language in question. ... Stable fun tions are not ordered by the standard extensional (or point-wise) ordering5 but by a new ordering alled
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.