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,
}











