>>216
詳しいことは知らないけど、Joachim Lambek がやっているらしい
http://www.math.mcgill.ca/department/display_people.php?id=99