Explore >> Select a destination
|
You are here 
|
cv.archives-ouvertes.fr | ||
| | | | |
hal-pasteur.archives-ouvertes.fr
|
|
| | | | | ||
| | | | |
hal.archives-ouvertes.fr
|
|
| | | | | ||
| | | | |
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... | |
| | | | |
anebquebec.com
|
|
| | | |||
