FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Marie Kerjean
Affiliation: CNRS, LIPN, Université Sorbonne Paris Nord
Web page: https://www.lipn.univ-paris13.fr/~kerjean/
Pages in this Program
Program
Program for Sunday, July 31st
TLLA-LINEARITY on Sunday, July 31st
TLLA-LINEARITY Program