Michele Basaldella, Claudia Faggian
Ludics with Repetitions (Exponentials, Interactive Types and Completeness)
LICS, 2009.
@inproceedings{LICS-2009-BasaldellaF, author = "Michele Basaldella and Claudia Faggian", booktitle = "{Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2009.46", isbn = "978-0-7695-3746-7", pages = "375--384", publisher = "{IEEE Computer Society}", title = "{Ludics with Repetitions (Exponentials, Interactive Types and Completeness)}", year = 2009, }