Stefano Berardi, Ugo de'Liguoro
A Calculus of Realizers for EM1 Arithmetic
CSL, 2008.
@inproceedings{CSL-2008-Berardid,
author = "Stefano Berardi and Ugo de'Liguoro",
booktitle = "{Proceedings of the 17th EACSL Annual Conference / 22nd International Workshop on Computer Science Logic}",
doi = "10.1007/978-3-540-87531-4_17",
isbn = "978-3-540-87530-7",
pages = "215--229",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{A Calculus of Realizers for EM1 Arithmetic}",
volume = 5213,
year = 2008,
}
Tags: