Explore >> Select a destination
|
You are here 
|
sciencespo.hal.science | ||
| | | | |
hal.science
|
|
| | | | | There are two types of duality in Linear Logic. The first one is negation, balancing positive and negative formulas. The second one is the duality between linear and non-linear proofs, made symmetrical by Differential Linear Logic. The first duality has been here since the beginning of Linear Logic and has a significance in terms of proof-search and programming operation. However, the computational content of the second is still to understand. In this paper, we reexpress models of Differential Linear Log... | |
| | | | |
cv.archives-ouvertes.fr
|
|
| | | | | ||
| | | | |
hal.archives-ouvertes.fr
|
|
| | | | | ||
| | | | |
aufildesplumesblog.wordpress.com
|
|
| | | https://youtu.be/UKe-LUl0gIM | ||
