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)

   Volume 9 (2013)

   Volume 10 (2014)

   Volume 11 (2015)

   Volume 12 (2016)

      Issue 1

      Issue 2

      Issue 3

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 12, ISSUE 1


1. Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
  Søren Debois, Thomas Hildebrandt, Tijs Slaats and Nobuko Yoshida


2. Proof equivalence in MLL is PSPACE-complete
  Willem Heijltjes and Robin Houston


3. Weak topologies for Linear Logic
  Marie Kerjean


4. (Leftmost-Outermost) Beta Reduction is Invariant, Indeed
  Beniamino Accattoli and Ugo Dal Lago


5. Separating Regular Languages with First-Order Logic
  Thomas Place and Marc Zeitoun


6. Simulation Problems Over One-Counter Nets
  Piotr Hofman, Slawomir Lasota, Richard Mayr and Patrick Totzke


7. History-Register Automata
  Radu Grigore and Nikos Tzevelekos


8. A Sorted Semantic Framework for Applied Process Calculi
  Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow, Björn Victor and Johannes Åman Pohjola


9. Order-Invariant Types and Their Applications
  Pablo Barcelo and Leonid Libkin


Creative Commons