Explore >> Select a destination
|
You are here 
|
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... | |
| | | | |
cv.archives-ouvertes.fr
|
|
| | | | | ||
| | | | |
hal-bnf.archives-ouvertes.fr
|
|
| | | | | The General Data Protection Regulation (GDPR), Data Protection Authorities (DPAs) and the European Data Protection Board (EDPB) discuss purposes for data processing and the legal bases upon which data controllers can rely on: either "consent" or "legitimate in-terests". We study the purposes defined in IAB Europe's Transparency and Consent Framework (TCF) and their usage by advertisers. We analyze the purposes with regard to the legal requirements for defining them lawfully, and suggest that several of t... | |
| | | | |
anebquebec.com
|
|
| | | |||
