Four papers accepted to CSL-LICS 2014

The following four papers authored by Parsifal team members have been accepted to CSL-LICS 2014:

  • Anupam Das. Pigeonhole and related combinatorial principles in deep inference and monotone systems
  • Danko Ilik. Axioms and Decidability for Type Isomorphism in Presence of Sums
  • Nicolas Guenot and Lutz Strassburger. Symmetric Normalisation for Intuitionistic Logic
  • Kaustuv Chaudhuri and Nicolas Guenot. Equality and Fixpoints in the Calculus of Structures