Claudia Casadio Joachim Lambek A Tale of Four Grammars. 315-329 2002 71 Studia Logica 3 db/journals/sLogica/sLogica71.html#CasadioL02