Zobrazeno 1 - 10 of 36 pro vyhledávání: '"Differential linear logic"'
1
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
2
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
3
Coderelictions for Free Exponential Modalities
Autor: Lemay, Jean-Simon Pacaud
In a categorical model of the multiplicative and exponential fragments of intuitionistic linear logic (MELL), the exponential modality is interpreted as a comonad ! such that each cofree !-coalgebra !A comes equipped with a natural cocommutative como
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::42251d7972ded575bb4a3ebcbf854e2c
Zobrazit plný text záznamu
4
A Bicategorical Model for Finite Nondeterminism
Autor: Galal, Zeinab
Finiteness spaces were introduced by Ehrhard as a refinement of the relational model of linear logic. A finiteness space is a set equipped with a class of finitary subsets which can be thought of being subsets that behave like finite sets. A morphism
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::c7a3a46e2dc4cb058dfd1a7472fc53dd
Zobrazit plný text záznamu
5
MODELS OF LINEAR LOGIC BASED ON THE SCHWARTZ epsilon-PRODUCT
Autor: Dabrowski, Yoann, Kerjean, Marie
Publikováno v: Theory and Applications of Categories
Theory and Applications of Categories, 2019, 34, pp.1440-1525
International audience
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od_______165::48492dc2fb8a00516c283b2e1aa335d6
https://hal.science/hal-04136279
Zobrazit plný text záznamu
7
Dissertation/ Thesis
Reflexive spaces of smooth functions : a logical account of linear partial differential equations
Autor: Kerjean, Marie
La théorie de la preuve se développe depuis la correspondance de Curry-Howard suivant deux sources d’inspirations : les langages de programmation, pour lesquels elle agit comme une théorie des types de données, et l’étude sémantique des pre
Externí odkaz: http://www.theses.fr/2018USPCC144/document
Zobrazit plný text záznamu
8
An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets
Autor: Chouquet, Jules, Vaux, Lionel
Publikováno v: CSL 2018
CSL 2018, Sep 2018, Birmingham, United Kingdom. ⟨10.4230/LIPIcs.CSL.2018.14⟩
International audience; We examine some combinatorial properties of parallel cut elimination in multiplicative linear logic (MLL) proof nets. We show that, provided we impose some constraint on switching paths, we can bound the size of all the nets s
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::baa4efe4025397f4775702b1c84b1a35
Zobrazit plný text záznamu
9
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
10
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje