Search the dblp DataBase

Publications of Author

1. Matthias Schröder, Alex Simpson
   Probabilistic Observations and Valuations: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:155, n:, pp:605-615 [Journal]
   
2. Ingo Battenfeld, Matthias Schröder, Alex Simpson
   A Convenient Category of Domains. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:69-99 [Journal]
   
3. Rasmus Ejlers Møgelberg, Alex Simpson
   Relational Parametricity for Control Considered as a Computational Effect. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:173, n:, pp:295-312 [Journal]
   
4. Marco Kick, John Power, Alex Simpson
   Coalgebraic semantics for timed processes. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2006, v:204, n:4, pp:588-609 [Journal]
   
5. Matthias Schröder, Alex Simpson
   Representing probability measures using probabilistic processes. [Citation Graph (0, 0)][DBLP]
   J. Complexity, 2006, v:22, n:6, pp:768-782 [Journal]
   
6. Andrej Bauer, Alex Simpson
   Two constructive embedding-extension theorems with applications to continuity principles and to Banach-Mazur computability. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2004, v:50, n:4-5, pp:351-369 [Journal]
   
7. James Brotherston, Alex Simpson
   Complete Sequent Calculi for Induction and Infinite Descent. [Citation Graph (0, 0)][DBLP]
   LICS, 2007, pp:51-62 [Conf]
   
8. Rasmus Ejlers Møgelberg, Alex Simpson
   Relational Parametricity for Computational Effects. [Citation Graph (0, 0)][DBLP]
   LICS, 2007, pp:346-355 [Conf]
   
9. Matthias Schröder, Alex Simpson
   Two preservation results for countable products of sequential spaces. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2007, v:17, n:1, pp:161-172 [Journal]
   
10. 
    Enriching an Effect Calculus with Linear Types. [Citation Graph (, )][DBLP]
    
    
11. 
    A convenient category of domains. [Citation Graph (, )][DBLP]
    
    
12. 
    Linearly-Used Continuations in the Enriched Effect Calculus. [Citation Graph (, )][DBLP]
    
    
13. 
    A Generic Operational Metatheory for Algebraic Effects. [Citation Graph (, )][DBLP]
    
    
14. 
    Linear types for computational effects. [Citation Graph (, )][DBLP]
    
    
15. 
    A Logic for Parametric Polymorphism with Effects. [Citation Graph (, )][DBLP]
    
    
16. 
    Relating First-order Set Theories and Elementary Toposes. [Citation Graph (, )][DBLP]
    
    
17. 
    Relational Parametricity for Computational Effects [Citation Graph (, )][DBLP]