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)

      Issue 1

      Issue 2

      Issue 3

      Issue 4

   Volume 8 (2012)

   Volume 9 (2013)

   Volume 10 (2014)

   Volume 11 (2015)

   Volume 12 (2016)

   Volume 13 (2017)

SPECIAL ISSUES

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

VOLUME 7, ISSUE 2


1. From formulas to cirquents in computability logic
  Giorgi Japaridze


2. Existential witness extraction in classical realizability and via a negative translation
  Alexandre Miquel


3. CFA2: a Context-Free Approach to Control-Flow Analysis
  Dimitrios Vardoulakis and Olin Shivers


4. A Modular Type-checking algorithm for Type Theory with Singleton Types and Proof Irrelevance
  Andreas Abel, Thierry Coquand and Miguel Pagano


5. Decidable Expansions of Labelled Linear Orderings
  Alexis Bès and Alexander Rabinovich


6. Automated Synthesis of Tableau Calculi
  Renate A. Schmidt and Dmitry Tishkovsky


7. Symbolic and Asynchronous Semantics via Normalized Coalgebras
  Filippo Bonchi and Ugo Montanari


8. On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
  Rajeev Goré, Linda Postniece and Alwen F. Tiu


9. Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
  Nick Bezhanishvili and Mai Gehrke


10. Towards a Proof Theory of Gödel Modal Logics
  George Metcalfe and Nicola Olivetti


11. Banach Spaces as Data Types
  Dag Normann


12. Model Checking CTL is Almost Always Inherently Sequential
  Olaf Beyersdorff, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas and Heribert Vollmer


13. Ludics with repetitions (Exponentials, Interactive types and Completeness)
  Claudia Faggian and Michele Basaldella


14. Knowledge-Based Synthesis of Distributed Systems Using Event Structures
  Mark Bickford, Robert Constable, Joseph Halpern and Sabina Petride


15. Noncomputable functions in the Blum-Shub-Smale model
  Wesley Calvert, Ken Kramer and Russell Miller


16. Logical Step-Indexed Logical Relations
  Derek Dreyer, Amal Ahmed and Lars Birkedal


17. Amortised Resource Analysis with Separation Logic
  Robert Atkey


18. TRX: A Formally Verified Parser Interpreter
  Adam Koprowski and Henri Binsztok


19. Turing machines on represented sets, a model of computation for Analysis
  Nazanin Tavana and Klaus Weihrauch


20. First-order query evaluation on structures of bounded degree
  Wojciech Kazana and Luc Segoufin


Creative Commons