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]

Authors

David Baelde

This author has not been identified. Look up 'David Baelde' in Google

Amina Doumane

This author has not been identified. Look up 'Amina Doumane' in Google

Alexis Saurin

This author has not been identified. Look up 'Alexis Saurin' in Google