Search
Search Funnelback University
- Refined by:
- Date: 2008
31 -
34 of
34
search results for TALK:Vb20 24 / |u:www.dpmms.cam.ac.uk
where 0
match all words and 34
match some words.
Results that match 1 of 2 words
-
Complex analysis IB 2007 — lecture notes A J ...
https://www.dpmms.cam.ac.uk/~ajs1005/complex/notes_2006-7.pdf1 Feb 2008: 24. 3.3 Singularities and the Laurent expansion; the residuetheorem. Just as a holomorphic function on a disc D(a,r) can be expanded as a series inpowers of (z a), -
Combining effects: sum and tensor Martin Hyland,1 Gordon Plotkin2 ...
https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2006/hpp06.pdf7 Aug 2008: Example 10. Probabilistic Nondeterminism A computationally natural pre-sentation of a countable Lawvere ω-Cpo-theory for probabilistic nondetermin-ism combined with nontermination [16,22,24,47] can be obtained by -
On full abstra tion for PCF:I. Models, observables and ...
https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/ho00.pdf22 Aug 2008: Thus, Berryand Curien introdu ed sequential algorithms over dss [10 (see also Curien's book[24 for a omprehensive introdu tion). ... 11, 23, 57. Curien's book (se ond edition) [24 provides an ex ellent a ountof the main body of resear h inspired by the -
On full abstra tion for PCF:I. Models, observables and ...
https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/ho00.pdf22 Aug 2008: Thus, Berryand Curien introdu ed sequential algorithms over dss [10 (see also Curien's book[24 for a omprehensive introdu tion). ... 11, 23, 57. Curien's book (se ond edition) [24 provides an ex ellent a ountof the main body of resear h inspired by the
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
- Economics test |u:www.murrayedwards.cam.ac.uk (116) · moments ago
Recent searches
Your search history is empty.