Least and Greatest Fixed Points in Ludics

David Baelde, Amina Doumane, Alexis Saurin. Least and Greatest Fixed Points in Ludics. In Stephan Kreutzer, editor, 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. Volume 41 of LIPIcs, pages 549-566, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

Abstract

Abstract is missing.