Results 71 to 80 of about 106 (98)
Some of the next articles are maybe not open access.
Interactive observability in Ludics: The geometry of tests
Theoretical Computer Science, 2006Claudia Faggian
exaly
Types en ludique Cette thèse propose une repréesentation de la notion de type, avec un intérêt particulier pour les types d'ependants, en Ludique.La Ludique est une th'eorie introduite par Girard. Elle vient d'une fine analyse du fragment multiplicative, additive polarisé de la Logique Linéaire (MALL_p).
openaire +1 more source
openaire +1 more source
Ludics with Repetitions (Exponentials, Interactive Types and Completeness)
2009Claudia Faggian
exaly

