In this paper we prove the Chomsky Conjecture (all languages recognized by the Lambek calculus are context-free) for both the full Lambek calculus and its product-free fragment. For the latter case we ...

Allow me to make a shameless plug for a very cool project currently underway by my GVSU colleague Matt Boelkins. He is writing a free, open-source calculus textbook that will be available in PDF form ...