Inria Futurs

发表

A System of Interaction and Structure IV: The Exponentials

Inria Futurs, Rue de Saclay, 2007 .

Learning Recursive Automata from Positive Examples

Inria Futurs, Charles-de-Gaulle Lille, 2006 .