1
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) [E-Book] : 9th International Conference, LACL 2016, Nancy, France, December 5-7, 2016, Proceedings /
2
Typed Lambda Calculi and Applications [E-Book] : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997, Proceedings /