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 - 18 of 18 search results for KaKaoTalk:po03 op |u:www.dpmms.cam.ac.uk where 0 match all words and 18 match some words.

  1. Results that match 1 of 2 words

  2. Modi�ed Realizability Toposes and Strong Normalization Proofs…

    https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/ho93.pdf
    21 Aug 2008: Though cast in. category-theoretic language, the result in op. cit. is essentially the inter-denability result of second.

  3. Abstra t Games for Linear Logi Extended Abstra t ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/hs99.pdf
    22 Aug 2008: We have a fun tor ( )? : Cd - (Cd)op with(U;X)? =

  4. Abstra t Games for Linear Logi Extended Abstra t ...

    https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/hs99.pdf
    22 Aug 2008: We have a fun tor ( )? : Cd - (Cd)op with(U;X)? =

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

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2008/acmr08.pdf
    22 Jan 2008: Then thereare categories of spaces: the most familiar is Top, the category of topological spaces;but there are many other notions of space, for example [op, Sets], the category ofsimplicial sets

  6. Modi�ed Realizability Toposes and Strong Normalization Proofs…

    https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/ho93.pdf
    21 Aug 2008: Though cast in. category-theoretic language, the result in op. cit. is essentially the inter-denability result of second.

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

    https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/pta02.pdf
    13 Aug 2008: Thus RC (CR)op, and the categories are opposites of one another.

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

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

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

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