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 TALK:PC53 20 |u:www.dpmms.cam.ac.uk where 0 match all words and 43 match some words.

  1. Results that match 1 of 2 words

  2. Electronic Notes in Theoretical Computer Science 83 (2004)URL:…

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2003/chp03.pdf
    19 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.

  3. A Term Calculus for Intuitionistic Linear LogicNick Benton1, Gavin ...

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Oldpapers/bbdphtlca93.pdf
    27 Aug 2008: Samson Abramsky. Computational interpretations of linear logic. Technical Report90/20, Department of Computing, Imperial College, London, October 1990.2.

  4. Combining computational effects: commutativityand sum Martin Hyland,1 …

    https://www.dpmms.cam.ac.uk/~jmeh1/Research/Publications/2002/hpp02.pdf
    19 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.

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.