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
|
|
7 |
Towards Higher-Order Abstract Syntax in Cedille (Work in Progress)
|
|
|
|
In: LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019 ; https://hal.archives-ouvertes.fr/hal-02152417 ; LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada (2019)
|
|
BASE
|
|
Show details
|
|
8 |
Mechanized metatheory revisited
|
|
|
|
In: ISSN: 0168-7433 ; EISSN: 1573-0670 ; Journal of Automated Reasoning ; https://hal.inria.fr/hal-01884210 ; Journal of Automated Reasoning, Springer Verlag, 2019, 63 (3), pp.625-665. ⟨10.1007/s10817-018-9483-3⟩ (2019)
|
|
BASE
|
|
Show details
|
|
9 |
Decidable XPath Fragments in the Real World
|
|
|
|
In: 38th ACM Symposium on Principles of Database Systems (PODS'19) ; https://hal.inria.fr/hal-01852475 ; 38th ACM Symposium on Principles of Database Systems (PODS'19), 2019, Amsterdam, Netherlands. ⟨10.1145/3294052.3319685⟩ (2019)
|
|
BASE
|
|
Show details
|
|
10 |
A sequent calculus with dependent types for classical arithmetic
|
|
|
|
In: LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.inria.fr/hal-01703526 ; LICS 2018 - 33th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2018, Oxford, United Kingdom. pp.720-729, ⟨10.1145/3209108.3209199⟩ (2018)
|
|
BASE
|
|
Show details
|
|
11 |
Linear logic as a logical framework
|
|
|
|
In: Proceedings of Structures and Deduction (SD) 2017 ; https://hal.archives-ouvertes.fr/hal-01615664 ; Proceedings of Structures and Deduction (SD) 2017, Sep 2017, Oxford, United Kingdom (2017)
|
|
BASE
|
|
Show details
|
|
12 |
Focused and Synthetic Nested Sequents (Extended Technical Report)
|
|
|
|
In: https://hal.inria.fr/hal-01251722 ; [Research Report] Inria. 2016 (2016)
|
|
BASE
|
|
Show details
|
|
13 |
New Results on Morris's Observational Theory ; New Results on Morris's Observational Theory: the benefits of separating the inseparable
|
|
|
|
In: EISSN: 1868-8969 ; Leibniz International Proceedings in Informatics ; https://hal.inria.fr/hal-01337192 ; Leibniz International Proceedings in Informatics , Leibniz-Zentrum für Informatik, 2016, 1st International Conference on Formal Structures for Computation and Deduction, pp.560. ⟨10.4230/LIPIcs.FSCD.2016.70⟩ ; http://fscd2016.dcc.fc.up.pt/ (2016)
|
|
BASE
|
|
Show details
|
|
14 |
A Logic with Revocable and Refinable Strategies
|
|
|
|
In: ISSN: 0890-5401 ; EISSN: 1090-2651 ; Information and Computation ; https://hal.archives-ouvertes.fr/hal-00785659 ; Information and Computation, Elsevier, 2015, 242, pp.157-182. ⟨10.1016/j.ic.2015.03.015⟩ ; http://www.sciencedirect.com/science/article/pii/S0890540115000309 (2015)
|
|
BASE
|
|
Show details
|
|
15 |
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
|
|
16 |
On Automated Lemma Generation for Separation Logic with Inductive Definitions
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01175732 ; 2015 (2015)
|
|
BASE
|
|
Show details
|
|
17 |
Ambiguity of $\omega$-Languages of Turing Machines
|
|
|
|
In: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.archives-ouvertes.fr/hal-00735050 ; Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2014, 10 (3:12), pp.1-18 (2014)
|
|
BASE
|
|
Show details
|
|
18 |
On languages of one-dimensional overlapping tiles
|
|
|
|
In: 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM) ; SOFSEM ; https://hal.archives-ouvertes.fr/hal-00659202 ; SOFSEM, Jan 2013, Špindlerův Mlýn, Czech Republic. pp.244-256, ⟨10.1007/978-3-642-35843-2_22⟩ (2013)
|
|
BASE
|
|
Show details
|
|
19 |
Forcing MSO on Infinite Words in Weak MSO
|
|
|
|
In: 28th Annual ACM/IEEE Symposium on Logic in Computer Science ; https://hal.archives-ouvertes.fr/hal-00776921 ; 28th Annual ACM/IEEE Symposium on Logic in Computer Science, Jun 2013, New Orleans, United States. pp.448-457, ⟨10.1109/LICS.2013.51⟩ (2013)
|
|
BASE
|
|
Show details
|
|
20 |
Minimalist Grammars in the Light of Logic
|
|
|
|
In: https://hal.inria.fr/inria-00563807 ; [Research Report] 2011, pp.39 (2011)
|
|
BASE
|
|
Show details
|
|
|
|