#linear-logic
Toutes les langues
Plus lus
Documents
Qatar November
Documents
A Survey of Linear Logic Programming Dale Miller
Documents
Etudes supérieures
A Survey of Linear Logic Programming Dale Miller
8 pages
English
Lire
Infos
Documents
Forum: A Multiple Conclusion Specification Logic
Documents
Etudes supérieures
Forum: A Multiple Conclusion Specification Logic
37 pages
English
Lire
Infos
Documents
From proofs to focused proofs: a modular proof of Focalization in Linear Logic
Documents
Etudes supérieures
From proofs to focused proofs: a modular proof of Focalization in Linear Logic
15 pages
English
Lire
Infos
Documents
FCS'03 Preliminary Version
Documents
A formal framework for specifying sequent calculus proof systems
Documents
Etudes supérieures
A formal framework for specifying sequent calculus proof systems
35 pages
English
Lire
Infos
Documents
Lecture notes
Documents
A Unified Sequent Calculus for Focused Proofs
Documents
Rapports de stage
A Unified Sequent Calculus for Focused Proofs
10 pages
English
Lire
Infos
Documents
Focusing and Polarization in Linear Intuitionistic and Classical Logics
Documents
Rapports de stage
Focusing and Polarization in Linear Intuitionistic and Classical Logics
29 pages
English
Lire
Infos
Documents
An Overview of Linear Logic Programming
Documents
Using linear logic to reason about sequent systems
Documents
Rapports de stage
Using linear logic to reason about sequent systems
22 pages
English
Lire
Infos
Documents
A Multiple Conclusion Meta Logic
Documents
Focusing in linear meta logic
Documents
Least and greatest fixed points in linear logic
Documents
Rapports de stage
Least and greatest fixed points in linear logic
15 pages
English
Lire
Infos
Documents
June Final version for the proceedings of CSL'09
Documents
Rapports de stage
June Final version for the proceedings of CSL'09
15 pages
English
Lire
Infos
Documents
A Semantic Measure of the Execution Time in Linear Logic
Documents
Rapports de stage
A Semantic Measure of the Execution Time in Linear Logic
35 pages
English
Lire
Infos
Documents
Di erential Linear Logic and Polarization
Documents
Quantum Implicit Computational Complexity
Documents
Least and greatest xed points in linear logic Extended Version
Documents
Rapports de stage
Least and greatest xed points in linear logic Extended Version
22 pages
English
Lire
Infos
Documents
Noname manuscript No will be inserted by the editor
Documents
Rapports de stage
Noname manuscript No will be inserted by the editor
31 pages
English
Lire
Infos
Documents
Confluence via strong normalisation in an algebraic calculus with rewriting
Documents
Cours
Confluence via strong normalisation in an algebraic calculus with rewriting
43 pages
English
Lire
Infos
Documents
MFPS XX1 Preliminary Version
Documents
A neutral approach to proof and refutation in MALL
Documents
Etudes supérieures
A neutral approach to proof and refutation in MALL
11 pages
English
Lire
Infos
Documents
A Proof Theoretic Approach to the Static Analysis of Logic Programs Dale Miller
Documents
Etudes supérieures
A Proof Theoretic Approach to the Static Analysis of Logic Programs Dale Miller
20 pages
English
Lire
Infos
Documents
A System of Interaction and Structure IV: The Exponentials and Decomposition
Documents
Etudes supérieures
A System of Interaction and Structure IV: The Exponentials and Decomposition
43 pages
English
Lire
Infos
Documents
Under consideration for publication in Math Struct in Comp Science
Documents
Etudes supérieures
Under consideration for publication in Math Struct in Comp Science
21 pages
English
Lire
Infos
Documents
June Lecture notes for ESSLLI'06 Malaga Spain
Documents
Etudes supérieures
June Lecture notes for ESSLLI'06 Malaga Spain
96 pages
English
Lire
Infos
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
Collection
{{collectionTitle}}
{{productCategoryLabel}}
{{productTitle}}
{{productCategoryLabel}}
{{productThemeLabel}}
{{productTitle}}
{{productPages}}
{{productLanguageIsoCode}}
