Houjun Liu
Lambek Calculus