LL2016 - Linear Logic: interaction, proofs and computation

7-10 Nov 2016 Lyon (France)

Lost password ? Create account

Main menu

Workshop: Linear logic and philosophy

Workshop: Linear logic, mathematics and computer science

List of Participants

Practical Information

HELP

@ Contact

Poster

(Click the image to download the PDF version)

Online user: 1

RSS Feed

Loading...