Towards Circular Proof Nets (GaLoP 2019 - 14th Workshop on Games for Logic and Programming Languages)

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Who

Abhishek De, Alexis Saurin

Track

GaLoP 2019

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sun 7 Apr 2019 15:00 - 15:30 at S3 - VII

Abstract

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.

Abhishek De

IRIF, CNRS, France

Alexis Saurin