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

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