calanques_sugiton.jpeg

Free-cut elimination in linear logic and an application to a feasible arithmetic

  • Anupam Das
  • Patrick Baillot

Schedule

  • Sept. 1, 2016, 16:30 - 18:00(Linear logic session)

Attachments