Kein Profilbild | No profile picture | Utilisateur n'as pas d'image
https://philosophie.ch/profil/lamarche

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).