WORKSHOP
Workgroup for a Linear Logic Handbook
Groupe de travail pour un manuel de Logique Linéaire
6 -8 December, 2022
This meeting will gather a small group of researchers among the Linear Logic
International Research Network, involved in a project to write a Handbook of
Linear Logic.
The purpose of the meeting is to coordinate the efforts within this project,
in order to produce a complete draft of the core chapter within the next months.
Cette rencontre réunira un petit groupe de chercheurs de l’IRN de Logique
Linéaire, impliqués dans le projet de rédaction d’un manuel de Logique Linéaire.
Le but de la rencontre est de coordonner les efforts au sein du projet, dans
le but de produire un brouillon complet des principaux chapitres, au cours des
prochains mois.
SPONSOR
