Judicaël Courant

发表

Pascal Lafourcade, Yassine Lakhnech, Marion Daubignard, 2010, Concurrency, Compositionality, and Correctness.

Pascal Lafourcade, Yassine Lakhnech, Marion Daubignard, 2010, Journal of Automated Reasoning.

Pascal Lafourcade, Yassine Lakhnech, Marion Daubignard, 2008 .

Hugo Herbelin, Jean-Christophe Filliâtre, Cristina Cornes, 1997 .

Judicaël Courant, 2002, Electron. Notes Theor. Comput. Sci..

Judicaël Courant, J. Courant, 2002, TPHOLs.

Jean-François Monin, Judicaël Courant, 2006, Trends in Functional Programming.

Judicaël Courant, J. Courant, 1997, TAPSOFT.

Judicaël Courant, J. Courant, 2006, Journal of Functional Programming.

Pascal Lafourcade, Yassine Lakhnech, Marion Daubignard, 2008, CCS.

Judicaël Courant, J. Courant, 1997, TLCA.

Yassine Lakhnech, Judicaël Courant, Cristian Ene, 2007, FSTTCS.