FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Yoann Dabrowski
Organization: Université de Lyon, Université Lyon 1, Institut Camille Jordan UMR 5208
Web page: http://math.univ-lyon1.fr/~dabrowski/
Pages in this Program
Linearity/TLLA on Sunday, July 8th
Linearity/TLLA Program
Program
Program for Sunday, July 8th