Search
Search Funnelback University
- Refined by:
- Date: 2008
41 -
45 of
45
search results for TALK:PC53 20 |u:www.dpmms.cam.ac.uk
where 0
match all words and 45
match some words.
Results that match 1 of 2 words
-
On full abstra tion for PCF:I. Models, observables and ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Pub91-00/ho00.pdf22 Aug 2008: Types of the languageare just Chur h's simple types [20. In the following we shall also refer to them asp f-types. ... 20 HYLAND AND ONGnatural way; that is, the global se tions fun tor will not be faithful. -
Electronic Notes in Theoretical Computer Science 83 (2004)URL:…
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2003/chp03.pdf19 Aug 2008: 20] Power, A.J., Premonoidal categories as categories with algebraic structure,Theoretical Computer Science 278 (2002) 303–321. ... HB. Hf? βB- KB. Kf? 20. Introduction. Pseudo-monads. The 2-category of pseudo-algebras. -
Linear Analysis T. W. Körner January 8, 2008 Small ...
https://www.dpmms.cam.ac.uk/~twk10/LA.pdf8 Jan 2008: 18 First example sheet 40. 19 Second example sheet 45. 20 Third example sheet 50. ... a f0‖2 ‖a f‖2. for all f F. (See also Exercises 20.4 and 20.5.). -
A Term Calculus for Intuitionistic Linear LogicNick Benton1, Gavin ...
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/bbdphtlca93.pdf27 Aug 2008: Samson Abramsky. Computational interpretations of linear logic. Technical Report90/20, Department of Computing, Imperial College, London, October 1990.2. -
Combining computational effects: commutativityand sum Martin Hyland,1 …
https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/hpp02.pdf19 Aug 2008: 93, No. 1,pp. 55–92, 1991. 20. G. D. Plotkin, A Powerdomain Construction, SIAM J. ... 20, Amsterdam:Elsevier, 1999. 28. A. J. Power and G. Rosolini, A Modular Approach to Denotational Semantics, inProc.
Search history
Recently clicked results
Recently clicked results
Your click history is empty.
Recent searches
Recent searches
Your search history is empty.