Explore >> Select a destination

You are here

 hal-bnf.archives-ouvertes.fr
Purposes in IAB Europe's TCF: which legal basis and how are they used by advertisers? - INRIA - Institut National de Recherch...
| | hal-pasteur.archives-ouvertes.fr
index - Génomique évolutive, modélisation et santé
0.2 parsecs away

Travel
| |
| | sciencespo.hal.science
Le JavaScript comme outil de recherche en SHS - Sciences Po
0.2 parsecs away

Travel
| | Depuis 9 ans, le médialab de Sciences Po crée des instruments de recherche a l'intention des Sciences Humaines et Sociales. Son ambition est de concevoir des instruments rendant des moyens de traitement complexes accessibles à des équipes de recherches ou des citoyens au travers d'Interfaces Homme-Machine. Nous retracerons dans cette présentation comment nous avons utilisé plusieurs générations de technologies web pour relever ce défi.
| | hal.science
Functorial Models of Differential Linear Logic - Archive ouverte HAL
0.5 parsecs away

Travel
| 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...