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
31 - 40 of 40 search results for news |u:www.dpmms.cam.ac.uk

  1. Fully-matching results

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

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2008/acmr08.pdf
    22 Jan 2008: The examples will probably be quite familiar, butwe shall look at them in a new way.

  3. Combining algebraic effects with continuations Martin Hyland,1 Paul…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2007/hlpp07.pdf
    7 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.

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

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/pta02.pdf
    13 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

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

  6. Machines and Their Languages G51MAL Dick Crouch Semester 2, ...

    https://www.dpmms.cam.ac.uk/~tef10/cam_only/crouchnotes.pdf
    13 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. •

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

  8. Combining effects: sum and tensor Martin Hyland,1 Gordon Plotkin2 ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2006/hpp06.pdf
    7 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.

  9. 2007 lectures on Set Theory Thomas Forster February 5, ...

    https://www.dpmms.cam.ac.uk/~tef10/cam_only/partiii2004.pdf
    5 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).

  10. On full abstra tion for PCF:I. Models, observables and ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho00.pdf
    22 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

  11. On full abstra tion for PCF:I. Models, observables and ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/ho00.pdf
    22 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

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.