Search
Search Funnelback University
- Refined by:
- Date: 2008
1 -
5 of
5
search results for tj KaKaotalk:PC53 |u:www.dpmms.cam.ac.uk
where 0
match all words and 5
match some words.
Results that match 1 of 2 words
-
Topics in Analysis: Example Sheet 3 Lent 2007-08 N. ...
https://www.dpmms.cam.ac.uk/study/II/TopicsinAnalysis/2007-2008/sheet3.pdf28 Feb 2008: for each continuous function f on [a, b]. (2) Let Tj be the jth Chebychev polynomial. -
Pi-Calculus, Dialogue Games and PCF�J. M. E. Hylandy C.-H. ...
https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/ho95.pdf21 Aug 2008: rm] where Ai = (C1; ;Cr;); for each 1 6 j 6 r, Cj = (Dj1; ;Djpj;),further for some innocent strategy j of type (eA; fDj;), tj = sj (i.e. ... tj 2 CF(ef : eA; eyj : fDj) is the associatedcf of j); for each m 2! , -
Pseudo-commutative monads and pseudo-closed 2-categories⋆ ⋆⋆ Martin…
https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2002/hp02.pdf29 Sep 2008: µ Ttj ti µ Tti tj. A typical construction can be informally described as follows. ... Theorem 5. There is a unique 2-cell. γi,j : µ Ttj ti µ Tti tj. -
On full abstra tion for PCF:I. Models, observables and ...
https://www.dpmms.cam.ac.uk/~martin/Research/Oldpapers/ho00.pdf22 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 -
On full abstra tion for PCF:I. Models, observables and ...
https://www.dpmms.cam.ac.uk/~martin/Research/Pub91-00/ho00.pdf22 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
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.