Login / Signup

On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String.

Wojciech Zielonka
Published in: J. Log. Comput. (2007)
Keyphrases