T型英寸我“M”W公司奥金O（运行）N个

我目前在拉布里作为一个中国科学院研究员。

一个用于MIAGE M2课程专家系统这里正在建设中，将随着课程的进展而逐渐填满。

这个圣杯3类型逻辑文法的定理证明器有自己的网页。请参见一些例子图.圣杯2，上一代目前不再支持Grail定理证明程序。

我的一些语料库工具用于当前正在开发的类型逻辑语法。

A非常早发布Hyperion公司解析器多模态范畴文法的多项式片段和Lambek格里辛微积分。

一系列幻灯片对于一些我最近的谈话。

我的出版物清单.

S公司一些人L（左）墨水

这个波尔多的天气.

这个Internet电影数据库.如果这也是有很多信息，请尝试节略脚本.

这个卢克指南巴比伦5.我的最喜欢的插曲和我的最不受欢迎的插曲.

一些音乐听。

我的一些邻居.