ConceptioArchiveHAL (France)
HAL (France)open access

Compositional Taylor expansion in additive and non-additive models of linear logic

Aymeric Walch · hal
HAL (France) · Papers · License: Open Access
Open Source ↗
Categorical semantics, Sémantique dénotationnelle, Logique Linéaire, Lambda-Calcul différentiel, 0, Differential lambda-Calculus, Linear Logic, Categorical differentiation

sciences sciences Making sure you're not a bot! Loading... You are seeing this because the administrator of this website has set up Anubis to protect the server against the scourge of AI companies aggressively scraping websites. This can and does cause downtime for the websites, which makes their resources inaccessible for everyone. Anubis is a compromise. Anubis uses a Proof-of-Work scheme in the vein of Hashcash, a proposed proof-of-work scheme for reducing email spam. The idea is that at individual scales the additional load is ignorable, but at mass scraper levels it adds up and makes scraping much more expensive. Ultimately, this is a placeholder solution so that more time can be spent on fingerprinting and identifying headless browsers (EG: via how they do font rendering) so that the challenge proof of work page doesn't need to be presented to users that are much more likely to be legitimate. Please note that Anubis requires the use of modern JavaScript features that plugins like JShelter will disable. Please disable JShelter or other such plugins for this domain. Protected by Anubis From Techaro . Mascot design by CELPHASE . This website is running Anubis version devel .

Record · ID 8287 · SHA-256 f689fe3a6c9f887a
Conceptio Open Knowledge Archive — every document is proof-bundled with source, license, and retrieval metadata.