| 1 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Concurrent Game Semantics: Easy as Pi
|
|
|
|
In: https://hal.inria.fr/hal-03128187 ; [Research Report] Inria. 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-03064480 ; 2020 (2020)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
An Introduction to Complex Systems: Making Sense of a Changing World
|
|
|
|
In: Faculty Books (2019)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Decidable fragments of first-order logic and of first-order linear arithmetic with uninterpreted predicates
|
|
Voigt, Marco. - : Saarländische Universitäts- und Landesbibliothek, 2019
|
|
BASE
|
|
Show details
|
|
|
| 12 |
English Coordination in Linear Categorial Grammar
|
|
|
|
In: http://rave.ohiolink.edu/etdc/view?acc_num=osu1451933040 (2016)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Lexical Semantics with Linear Types
|
|
|
|
In: EasyChair Proceedings in ComputingNLCS'15. Third Workshop on Natural Language and Computer Science ; NLCS'15. Third Workshop on Natural Language and Computer Science ; https://hal.inria.fr/hal-01214442 ; NLCS'15. Third Workshop on Natural Language and Computer Science, Makoto Kanazawa, Jul 2015, Kyoto, Japan. pp.72 ; http://www.easychair.org/publications/volume/NLCS-15 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Non-linear Second order Abstract Categorial Grammars and deletion
|
|
|
|
In: NLCS 2015: Natural Language and Computer Science ; https://hal.archives-ouvertes.fr/hal-01251127 ; NLCS 2015: Natural Language and Computer Science, Makoto Kanazawa, 2015, Kyoto, Japan (2015)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Comparing and evaluating extended Lambek calculi
|
|
|
|
In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
Propositional glue and the projection architecture of LFG
|
|
|
|
In: Linguistics and Philosophy: a journal of natural language syntax, semantics, logic, pragmatics, and processing (2015)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
A first-order policy language for history-based transaction monitoring
|
|
|
|
In: Proceedings of The 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009) ; http://www.springerlink.com/content/978-3-642-03465-7 (2015)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Interacting Hopf Algebras- the Theory of Linear Systems ; Interacting Hopf Algebras - la théorie des systèmes linéaires
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01218015 ; Formal Languages and Automata Theory [cs.FL]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1020⟩ (2015)
|
|
Abstract:
We present by generators and equations the algebraic theory IH whose free model is the category oflinear subspaces over a field k. Terms of IH are string diagrams which, for different choices of k, expressdifferent kinds of networks and graphical formalisms used by scientists in various fields, such as quantumcircuits, electrical circuits and Petri nets. The equations of IH arise by distributive laws between Hopfalgebras - from which the name interacting Hopf algebras. The characterisation in terms of subspacesallows to think of IH as a string diagrammatic syntax for linear algebra: linear maps, spaces and theirtransformations are all faithfully represented in the graphical language, resulting in an alternative, ofteninsightful perspective on the subject matter. As main application, we use IH to axiomatise a formalsemantics of signal processing circuits, for which we study full abstraction and realisability. Our analysissuggests a reflection about the role of causality in the semantics of computing devices. ; Dans cette thèse, on présente la théorie algébrique IH par le biais de générateurs et d’équations.Le modèle libre de IH est la catégorie des sous-espaces linéaires sur un corps k. Les termes de IH sont des diagrammes de cordes, qui, selon le choix de k, peuvent exprimer différents types de réseaux et de formalismes graphiques, que l’on retrouve dans des domaines scientifiques divers, tels que les circuits quantiques, les circuits électriques et les réseaux de Petri. Les équations de IH sont obtenues via des lois distributives entre algèbres de Hopf – d’où le nom “Interacting Hopf algebras” (algèbres de Hopf interagissantes). La caractérisation via les sous-espaces permet de voir IH comme une syntaxe fondée sur les diagrammes de cordes pour l’algèbre linéaire: les applications linéaires, les espaces et leurs transformations ont chacun leur représentation fidèle dans le langage graphique. Cela aboutit à un point de vue alternatif, souvent fructueux, sur le domaine.On illustre cela en particulier en utilisant IH pour axiomatiser la sémantique formelle de circuits de calculs de signaux, pour lesquels on s’intéresse aux questions de la complète adéquation et de la réalisabilité. Notre analyse suggère un certain nombre d’enseignements au sujet du rôle de la causalité dans la sémantique des systèmes de calcul.
|
|
Keyword:
[INFO.INFO-DM]Computer Science [cs]/Discrete Mathematics [cs.DM]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]; Algèbre de Frobenius; Algèbre de Hopf; Algèbre linéaire; Category theory; Control theory; Distributive law; Frobenius algebra; Graphe de flots de signaux; Hopf algebra; Linear algebra; Loi distributive; PROP; Semantics; Sémantique; Signal flow graph; Théorie des catégories; Théorie du contrôle
|
|
URL: https://tel.archives-ouvertes.fr/tel-01218015/document
https://tel.archives-ouvertes.fr/tel-01218015
https://tel.archives-ouvertes.fr/tel-01218015/file/ZANASI_Fabio_2015ENSL1020_These.pdf
|
|
BASE
|
|
Hide details
|
|
|
| 20 |
Investigating the expressivity of linear logic subsystems characterizing polynomial time ; Exploration de l’expressivité des sous-systèmes de la logique linéaire caractérisant le temps polynomial
|
|
|
|
In: https://tel.archives-ouvertes.fr/tel-01204992 ; Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2015. English. ⟨NNT : 2015ENSL1001⟩ (2015)
|
|
BASE
|
|
Show details
|
|
|
|
|
