Go to the corresponding LIPIcs Volume Portal 
Baelde, David ; Doumane, Amina ; Saurin, Alexis
pdfformat: 

@InProceedings{baelde_et_al:LIPIcs:2015:5437, author = {David Baelde and Amina Doumane and Alexis Saurin}, title = {{Least and Greatest Fixed Points in Ludics}}, booktitle = {24th EACSL Annual Conference on Computer Science Logic (CSL 2015)}, pages = {549566}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {9783939897903}, ISSN = {18688969}, year = {2015}, volume = {41}, editor = {Stephan Kreutzer}, publisher = {Schloss DagstuhlLeibnizZentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5437}, URN = {urn:nbn:de:0030drops54374}, doi = {10.4230/LIPIcs.CSL.2015.549}, annote = {Keywords: proof theory, fixed points, linear logic, ludics, game semantics, completeness, circular proofs, infinitary proof systems} }
Keywords:  proof theory, fixed points, linear logic, ludics, game semantics, completeness, circular proofs, infinitary proof systems  
Seminar:  24th EACSL Annual Conference on Computer Science Logic (CSL 2015)  
Issue Date:  2015  
Date of publication:  04.09.2015 