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
Did you mean people alumni |u:www.dpmms.cam.ac.uk?
1 - 5 of 5 search results for People aliens |u:www.dpmms.cam.ac.uk where 0 match all words and 5 match some words.

  1. Results that match 1 of 2 words

  2. Lent Term 2008 J. M. E. Hyland Set Theory ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Teaching/stl07ex3.pdf
    6 Mar 2008: 4. Three people each have a set of beliefs: a consistent deductively closed set.

  3. IA Probability Examples Sheet 1 L08 W. T. G. ...

    https://www.dpmms.cam.ac.uk/study/IA/Probability/2007-2008/probex.2008.1.pdf
    3 Feb 2008: Calculatethe probability that m given people will all be included in the sample (i) directly and (ii) by using theinclusion-exclusion formula.

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

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2008/acmr08.pdf
    22 Jan 2008: tobackground, and also (if I may allow myself a tease) according to the standards of proofwhich people find acceptable. ... I think thathe had the idea originally from John Shepherdson, but some version had occured tomany people independently around 1960.

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

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho00.pdf
    22 Aug 2008: On full abstra tion for PCF:I. Models, observables and the full abstra tion problemII. Dialogue games and inno ent strategiesIII. A fully abstra t and universal game modelJ. M. E. HylandDepartment of Pure Mathemati s and Mathemati al Statisti

  6. 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: On full abstra tion for PCF:I. Models, observables and the full abstra tion problemII. Dialogue games and inno ent strategiesIII. A fully abstra t and universal game modelJ. M. E. HylandDepartment of Pure Mathemati s and Mathemati al Statisti

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.