The SCEAS System
| |||||||

## Search the dblp DataBase
Alex Simpson:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- 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] - 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] - 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] - 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] - 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] - 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] - James Brotherston, Alex Simpson
**Complete Sequent Calculi for Induction and Infinite Descent.**[Citation Graph (0, 0)][DBLP] LICS, 2007, pp:51-62 [Conf] - Rasmus Ejlers Møgelberg, Alex Simpson
**Relational Parametricity for Computational Effects.**[Citation Graph (0, 0)][DBLP] LICS, 2007, pp:346-355 [Conf] - 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] **Enriching an Effect Calculus with Linear Types.**[Citation Graph (, )][DBLP]**A convenient category of domains.**[Citation Graph (, )][DBLP]**Linearly-Used Continuations in the Enriched Effect Calculus.**[Citation Graph (, )][DBLP]**A Generic Operational Metatheory for Algebraic Effects.**[Citation Graph (, )][DBLP]**Linear types for computational effects.**[Citation Graph (, )][DBLP]**A Logic for Parametric Polymorphism with Effects.**[Citation Graph (, )][DBLP]**Relating First-order Set Theories and Elementary Toposes.**[Citation Graph (, )][DBLP]**Relational Parametricity for Computational Effects**[Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.002secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |