some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

   Volume 1 (2005)

   Volume 2 (2006)

   Volume 3 (2007)

   Volume 4 (2008)

   Volume 5 (2009)

   Volume 6 (2010)

   Volume 7 (2011)

   Volume 8 (2012)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 9 (2013)

   Volume 10 (2014)

   Volume 11 (2015)

   Volume 12 (2016)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 8, ISSUE 4


1. First steps in synthetic guarded domain theory: step-indexing in the topos of trees
  Lars Birkedal, Rasmus Ejle Møgelberg, Jan Schwinghammer and Kristian Støvring


2. Linear-use CPS translations in the Enriched Effect Calculus
  Jeff Egger, Rasmus Ejle Møgelberg and Alex Simpson


3. Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
  Thomas Ehrhard, Antonio Bucciarelli, Alberto Carraro and Giulio Manzonetto


4. On streams that are finitely red
  Marc Bezem, Keiko Nakata and Tarmo Uustalu


5. Essential Convexity and Complexity of Semi-Algebraic Constraints
  Manuel Bodirsky, Peter Jonsson and Timo von Oertzen


6. Parameterised Multiparty Session Types
  Pierre-Malo Denielou, Nobuko Yoshida, Andi Bejleri and Raymond Hu


7. On Berry's conjectures about the stable order in PCF
  Fritz Müller


8. Off-line test selection with test purposes for non-deterministic timed automata
  Nathalie Bertrand, Thierry Jéron, Amélie Stainer and Moez Krichen


9. Petri Net Reachability Graphs: Decidability Status of First Order Properties
  Philippe Darondeau, Stéphane Demri, Roland Meyer and Christophe Morvan


10. Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds
  Lars Kuhtz and Bernd Finkbeiner


11. Linear Dependent Types and Relative Completeness
  Ugo Dal Lago and Marco Gaboardi


12. Complete Axiomatizations of Fragments of Monadic Second-Order Logic on Finite Trees
  Amélie Gheerbrant and Balder ten Cate


13. Adaptable processes
  Mario Bravetti, Cinzia Di Giusto, Jorge A Perez and Gianluigi Zavattaro


14. Environment and classical channels in categorical quantum mechanics
  Bob Coecke and Simon Perdrix


15. On computable approximations of Landau's constant
  Robert Rettinger


16. The Structure of Differential Invariants and Differential Cut Elimination
  Andre Platzer


17. A Complete Axiomatization of Quantified Differential Dynamic Logic for Distributed Hybrid Systems
  Andre Platzer


18. Probabilistic modal μ-calculus with independent product
  Matteo Mio


19. Continuous Markovian Logics - Axiomatization and Quantified Metatheory
  Radu Mardare, Luca Cardelli and Kim G. Larsen


Creative Commons