Programs, grammars and arguments: a personal view of some connections between computation, language and logic

Joachim Lambek

Browse the full LICS paper archive.