FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Lionel Vaux Auclair
Organization: Institut de Mathématiques de Marseille
Web page: https://www.i2m.univ-amu.fr/perso/lionel.vaux/
Pages in this Program
Linearity/TLLA on Saturday, July 7th
Linearity/TLLA Program
Program
Program for Saturday, July 7th
Slides
Slides