• A relational model of parallel and non deterministic lambda-calculus . Actes de la conf. Logical Foundation of Computer Science 09, Lecture Notes in Comp. Scie. 5407, 107-121, Springer, 2009 (avec T. Ehrhard, G. Manzonetto).
• A relational semantics for parallelism and non-determinism in a functional setting . Ann. Pure Appl. Logic, vol. 163, n 7: 918-934, 2012 (avec T. Ehrhard, G. Manzonetto).
• Full abstraction for a resource calculus with tests Actes de 20th Conference on Computer Science Logic, Bergen, 2011 (avec A. Carraro, T. Ehrhard, G. Manzonetto).
• On linear information systems . Actes du First International Workshop on Linearity, Elect. Proc. Theor. Comput. Sci. 22, 2009, (avec A. Carraro, T. Ehrhard, A. Salibra).
• Categorical models for simply typed resource calculi . Actes de 26th Int. Conf. on Mathematical Foundations of Progr. Semantics, Ottawa, 2010, Electr. Notes Theor. Comput. Sci. 265: 213-230 (avec T. Ehrhard, G. Manzonetto).
• Extensional collapse situations I: non-termination and unrecoverable errors . CoRR abs/1101.4465: (2011)
• Full abstraction for the resource lambda calculus with tests, through Taylor expansion Article soumis (avec A. Carraro, T. Ehrhard, G. Manzonetto).