المؤلفون: Barthe, Gilles, Fong, Noémie, Gaboardi, Marco, Grégoire, Benjamin, Hsu, Justin, Strub, Pierre-Yves

مصطلحات موضوعية: Computer Science - Logic in Computer Science, Computer Science - Data Structures and Algorithms, Computer Science - Programming Languages

URL الوصول: http://arxiv.org/abs/1606.07143