Blain - PDFSEARCH.IO - Document Search Engine

Blain
Results: 111

#	Item
21	Noname manuscript No. (will be inserted by the editor) Call-By-Push-Value: Decomposing Call-By-Value And Call-By-Name Paul Blain Levy Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:18
22	MFPSMonads and Adjunctions for Global Exceptions Paul Blain Levy 1 School of Computer Science University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:11
23	Infinite Trace Equivalence Paul Blain Levy University of Birmingham, U.K. Abstract We solve a longstanding problem by providing a denotational model for nondeterministic Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-11-22 15:54:04
24	Characterizing Recursive Programs Up To Bisimilarity Paul Blain Levy University of Birmingham Abstract A recursive program is determined, up to bisimilarity, by the operation of the recursion body on arbitrary processes, Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2010-08-03 07:44:37
25	Similarity Quotients as Final Coalgebras Paul Blain Levy? University of Birmingham, UK Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-04-02 14:59:57
26	Semantics of nondeterminism Paul Blain Levy University of Birmingham November 17, 2009 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-11-17 12:32:19
27	Transition systems over games Paul Blain Levy Sam Staton University of Birmingham Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-12-19 05:50:33
28	Divergence-Least Semantics Of amb Is Hoare Soren B. Lassen1 , Paul Blain Levy2 , Prakash Panangaden3 1 3 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:20
29	Martin-L¨ of Clashes With Griffin, Operationally Paul Blain Levy University of Birmingham, Birmingham B15 2TT, United Kingdom Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-08-30 06:05:57
30	Combining algebraic effects with continuations Martin Hyland,1 Paul Blain Levy,2 Gordon Plotkin and John Power3,? 1 Department of Mathematics, University of Cambridge, Cambridge CB3 0WB, England. Email: Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2007-05-03 10:47:19