ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Sun 7 Apr 2019 15:00 - 15:30 at S3 - VII

We introduce proof-nets for non-wellfounded proofs in muMLL, that is multiplicative linear logic extended with least and greatest fixed points when infinitely long derivation banches are allowed.

We shall present preliminary results as well as ongoing work and present several open questions on which we hope to start discussions among workshop paticipants.

Sun 7 Apr (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

13:30 - 15:30: GaLoP - VII at S3
galop-2019-papers13:30 - 14:00
Pierre ClairambaultCNRS & ENS Lyon, Marc De VismeENS Lyon
galop-2019-papers14:00 - 14:30
galop-2019-papers14:30 - 15:00
galop-2019-papers15:00 - 15:30
Abhishek DeIRIF, CNRS, France, Alexis Saurin