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
41 - 43 of 43 search results for b&b |u:www.dpmms.cam.ac.uk

  1. Fully-matching results

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

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/ho00.pdf
    22 Aug 2008: A:a;f = a;g : 1! B;we say that the model is extensional. ... A:a;f 6 a;g : 1! B;we say that the model is order-extensional.

  3. 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: A:a;f = a;g : 1! B;we say that the model is extensional. ... A:a;f 6 a;g : 1! B;we say that the model is order-extensional.

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

    https://www.dpmms.cam.ac.uk/~tef10/cam_only/partiii2004.pdf
    5 Feb 2008: its elements, read in increasing order, to be a, b, c and d. ... We will show that Γentails the whole of T. Let B be a model of T.

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.