Typed Lambda Calculi and Applications Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings Groote Philippe de Heftet / 1997 / Engelsk
Logical Aspects of Computational Linguistics 4th International Conference, LACL 2001, Le Croisic, France, June 27-29, 2001, Proceedings Groote Philippe de Heftet / 2001 / Engelsk
