François Lamarche (lamarche)
Contributions à Philosophie.ch
No contributions yet
Bibliography
Groote, Philippe de and Lamarche, François. 2002. “Classical Non-Associative Lambek Calculus.” Studia Logica: An International Journal for Symbolic Logic 71(3): 355–388.
Lamarche, François and Retoré, Christian. 1996. “Proof Nets for the Lambek Calculus – An Overview.” in Proofs and Linguistic Categories, Proceedings of the 1996 Roma Workshop, edited by V. Michele Abrusci and Claudia Casadio, pp. 241–262. Bologna: Cooperativa Libraria Universitaria Editrice (CLUEB).