Login / Signup

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

Joachim Lambek
Published in: LICS (1993)
Keyphrases