-
Compte-rendu de Felici, Isabelle et Vegliante, Jean-Charles (éds), 2009, Enfa...
-" Compte-rendu de Felici, Isabelle et Vegliante, Jean-Charles (éds), 2009, Enfants d'Italiens, quelles(s) langue(s) parlez-vous? Textes et témoignages, Toulon, Géhess éditions... -
Proof reconstruction for first-order logic and set-theoretical constructions
Proof reconstruction is a technique that combines an interactive theorem prover and an automatic one in a sound way, so that users benefit of the expressiveness of the... -
Secure Information Flow for a Concurrent Language with Scheduling
International audience -
A Vernacular for Coherent Logic
International audience
