E Stabler

Logical Aspects of Computational Linguistics: First International Conference …, 1997

R Moot, C Retoré

Springer LNCS, 2012

Moot, Richard, C Retoré

Springer, 2012

C Retoré

Typed Lambda Calculi and Applications: Third International Conference on …, 1997

A Fleury, C Retoré

Mathematical Structures in Computer Science 4 (2), 273-285, 1994

C Retoré

Université Paris-Diderot-Paris VII, 1993

C Retoré

Theoretical Computer Science 294 (3), 473-488, 2003

D Bechet, P De Groote, C Retoré

Rewriting Techniques and Applications: 8th International Conference, RTA-97 …, 2005

GM Kobele, C Retoré, S Salvati

Model theoretic syntax at 10, 71-80, 2007

C Bassac, B Mery, C Retoré

Journal of Logic, Language and Information 19, 229-245, 2010

C Retoré

19th international conference on types for proofs and programs (TYPES 2013 …, 2014

P De Groote, C Retoré

Formal grammar 1996, 57--70, 1996

C Retoré

Traitement Automatique des Langues 37 (2), 39-70, 1996

A Lecomte, C Retoré

Proceedings of the 39th Annual Meeting of the Association for Computational …, 2001

F Lamarche, C Retoré

Proceedings of the Third Roma Workshop” Proofs and Linguistic Categories …, 1996

C Retoré

INRIA, 1999

R Bonato, C Retoré

Third workshop on learning language in logic, Strasbourg 21, 431-454, 2001

C Retoré

Mathematical Structures in Computer Science 7 (5), 445-452, 1997

A Lecomte, C Retoré

Formal Grammar, 181-196, 1995

C Retoré

Electronic Notes in Theoretical Computer Science 3, 167-182, 1996