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 - 41 of 41 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/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.

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.