"Contraction-free proofs and finitary games for Linear Logic" is owned and hosted by archives-ouvertes.fr, this file has been downloaded 12 times, the last time was in 2025-04-01.
André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz is the creator of fulll.pdf.
The pdf has been created in 2020-10-03, if you want to preview or download it, just click the link below.
Download | ||
Title | Contraction-free proofs and finitary games for Linear Logic | |
File Name | fulll.pdf - 355.46 KB | |
Pages | 20 pages | |
Owner | archives-ouvertes.fr | |
Author | André Hirschowitz, Michel Hirschowitz, Tom Hirschowitz | |
Creation date | 4 years ago | |
Nb of downloads | 12 |
If you are the owner and you want to remove this file from our databse, please contact us, we will remove it within 24 hours.
If "Contraction free proofs and finitary games for Linear Logic" does not meet your expectations, we invite you to take a look at the similar files below :