BibTeX records: Charles Grellois

download as .bib file

@inproceedings{DBLP:conf/wollic/DalmonteGO22,
  author       = {Tiziano Dalmonte and
                  Charles Grellois and
                  Nicola Olivetti},
  editor       = {Agata Ciabattoni and
                  Elaine Pimentel and
                  Ruy J. G. B. de Queiroz},
  title        = {Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations},
  booktitle    = {Logic, Language, Information, and Computation - 28th International
                  Workshop, WoLLIC 2022, Ia{\c{s}}i, Romania, September 20-23, 2022,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13468},
  pages        = {280--294},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15298-6\_18},
  doi          = {10.1007/978-3-031-15298-6\_18},
  timestamp    = {Thu, 22 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wollic/DalmonteGO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/deon/DalmonteGO21,
  author       = {Tiziano Dalmonte and
                  Charles Grellois and
                  Nicola Olivetti},
  editor       = {Fenrong Liu and
                  Alessandra Marra and
                  Paul Portner and
                  Frederik Van De Putte},
  title        = {Proof Systems for the Logics of Bringing-It-About},
  booktitle    = {Deontic Logic and Normative Systems - 15th International Conference,
                  {DEON} 2020/21, Munich, Germany [virtual], July 21-24, 2021},
  pages        = {114--132},
  publisher    = {College Publications},
  year         = {2021},
  timestamp    = {Mon, 28 Aug 2023 10:20:20 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/DalmonteGO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tableaux/DalmonteGO21,
  author       = {Tiziano Dalmonte and
                  Charles Grellois and
                  Nicola Olivetti},
  editor       = {Anupam Das and
                  Sara Negri},
  title        = {Terminating Calculi and Countermodels for Constructive Modal Logics},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 30th
                  International Conference, {TABLEAUX} 2021, Birmingham, UK, September
                  6-9, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12842},
  pages        = {391--408},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-86059-2\_23},
  doi          = {10.1007/978-3-030-86059-2\_23},
  timestamp    = {Thu, 16 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/DalmonteGO21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/jphil/DalmonteGO20,
  author       = {Tiziano Dalmonte and
                  Charles Grellois and
                  Nicola Olivetti},
  title        = {Intuitionistic Non-normal Modal Logics: {A} General Framework},
  journal      = {J. Philos. Log.},
  volume       = {49},
  number       = {5},
  pages        = {833--882},
  year         = {2020},
  url          = {https://doi.org/10.1007/s10992-019-09539-3},
  doi          = {10.1007/S10992-019-09539-3},
  timestamp    = {Wed, 07 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jphil/DalmonteGO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/lmcs/KobayashiLG20,
  author       = {Naoki Kobayashi and
                  Ugo Dal Lago and
                  Charles Grellois},
  title        = {On the Termination Problem for Probabilistic Higher-Order Recursive
                  Programs},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {16},
  number       = {4},
  year         = {2020},
  url          = {https://lmcs.episciences.org/6817},
  timestamp    = {Wed, 28 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/lmcs/KobayashiLG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/toplas/LagoG19,
  author       = {Ugo Dal Lago and
                  Charles Grellois},
  title        = {Probabilistic Termination by Monadic Affine Sized Typing},
  journal      = {{ACM} Trans. Program. Lang. Syst.},
  volume       = {41},
  number       = {2},
  pages        = {10:1--10:65},
  year         = {2019},
  url          = {https://doi.org/10.1145/3293605},
  doi          = {10.1145/3293605},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/toplas/LagoG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lics/KobayashiLG19,
  author       = {Naoki Kobayashi and
                  Ugo Dal Lago and
                  Charles Grellois},
  title        = {On the Termination Problem for Probabilistic Higher-Order Recursive
                  Programs},
  booktitle    = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
                  2019, Vancouver, BC, Canada, June 24-27, 2019},
  pages        = {1--14},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/LICS.2019.8785679},
  doi          = {10.1109/LICS.2019.8785679},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/lics/KobayashiLG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1901-09812,
  author       = {Tiziano Dalmonte and
                  Charles Grellois and
                  Nicola Olivetti},
  title        = {Intuitionistic Non-Normal Modal Logics: {A} general framework},
  journal      = {CoRR},
  volume       = {abs/1901.09812},
  year         = {2019},
  url          = {http://arxiv.org/abs/1901.09812},
  eprinttype    = {arXiv},
  eprint       = {1901.09812},
  timestamp    = {Sat, 02 Feb 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1901-09812.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/pacmpl/ClairambaultGM18,
  author       = {Pierre Clairambault and
                  Charles Grellois and
                  Andrzej S. Murawski},
  title        = {Linearity in higher-order recursion schemes},
  journal      = {Proc. {ACM} Program. Lang.},
  volume       = {2},
  number       = {{POPL}},
  pages        = {39:1--39:29},
  year         = {2018},
  url          = {https://doi.org/10.1145/3158127},
  doi          = {10.1145/3158127},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pacmpl/ClairambaultGM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1811-02133,
  author       = {Naoki Kobayashi and
                  Ugo Dal Lago and
                  Charles Grellois},
  title        = {On the Termination Problem for Probabilistic Higher-Order Recursive
                  Programs},
  journal      = {CoRR},
  volume       = {abs/1811.02133},
  year         = {2018},
  url          = {http://arxiv.org/abs/1811.02133},
  eprinttype    = {arXiv},
  eprint       = {1811.02133},
  timestamp    = {Sun, 29 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-02133.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/esop/LagoG17,
  author       = {Ugo Dal Lago and
                  Charles Grellois},
  editor       = {Hongseok Yang},
  title        = {Probabilistic Termination by Monadic Affine Sized Typing},
  booktitle    = {Programming Languages and Systems - 26th European Symposium on Programming,
                  {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
                  and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
                  2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10201},
  pages        = {393--419},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-662-54434-1\_15},
  doi          = {10.1007/978-3-662-54434-1\_15},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/esop/LagoG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/LagoG17,
  author       = {Ugo Dal Lago and
                  Charles Grellois},
  title        = {Probabilistic Termination by Monadic Affine Sized Typing (Long Version)},
  journal      = {CoRR},
  volume       = {abs/1701.04089},
  year         = {2017},
  url          = {http://arxiv.org/abs/1701.04089},
  eprinttype    = {arXiv},
  eprint       = {1701.04089},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/LagoG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/hal/Grellois16,
  author       = {Charles Grellois},
  title        = {Semantics of linear logic and higher-order model-checking. (S{\'{e}}mantique
                  de la logique lin{\'{e}}aire et "model-checking" d'ordre
                  sup{\'{e}}rieur)},
  school       = {Paris Diderot University, France},
  year         = {2016},
  url          = {https://tel.archives-ouvertes.fr/tel-01311150},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Grellois16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/csl/GrelloisM15,
  author       = {Charles Grellois and
                  Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  editor       = {Stephan Kreutzer},
  title        = {Relational Semantics of Linear Logic and Higher-order Model Checking},
  booktitle    = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,
                  September 7-10, 2015, Berlin, Germany},
  series       = {LIPIcs},
  volume       = {41},
  pages        = {260--276},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2015},
  url          = {https://doi.org/10.4230/LIPIcs.CSL.2015.260},
  doi          = {10.4230/LIPICS.CSL.2015.260},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/csl/GrelloisM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fossacs/GrelloisM15,
  author       = {Charles Grellois and
                  Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  editor       = {Andrew M. Pitts},
  title        = {An Infinitary Model of Linear Logic},
  booktitle    = {Foundations of Software Science and Computation Structures - 18th
                  International Conference, FoSSaCS 2015, Held as Part of the European
                  Joint Conferences on Theory and Practice of Software, {ETAPS} 2015,
                  London, UK, April 11-18, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9034},
  pages        = {41--55},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46678-0\_3},
  doi          = {10.1007/978-3-662-46678-0\_3},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fossacs/GrelloisM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mfcs/GrelloisM15,
  author       = {Charles Grellois and
                  Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  editor       = {Giuseppe F. Italiano and
                  Giovanni Pighizzini and
                  Donald Sannella},
  title        = {Finitary Semantics of Linear Logic and Higher-Order Model-Checking},
  booktitle    = {Mathematical Foundations of Computer Science 2015 - 40th International
                  Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9234},
  pages        = {256--268},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-48057-1\_20},
  doi          = {10.1007/978-3-662-48057-1\_20},
  timestamp    = {Sun, 02 Jun 2019 21:25:38 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/GrelloisM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/GrelloisM15,
  author       = {Charles Grellois and
                  Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  title        = {Tensorial logic with colours and higher-order model checking},
  journal      = {CoRR},
  volume       = {abs/1501.04789},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.04789},
  eprinttype    = {arXiv},
  eprint       = {1501.04789},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrelloisM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/GrelloisM15a,
  author       = {Charles Grellois and
                  Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  title        = {Finitary semantics of linear logic and higher-order model-checking},
  journal      = {CoRR},
  volume       = {abs/1502.05147},
  year         = {2015},
  url          = {http://arxiv.org/abs/1502.05147},
  eprinttype    = {arXiv},
  eprint       = {1502.05147},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrelloisM15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/GrelloisM15b,
  author       = {Charles Grellois and
                  Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  editor       = {Jakob Rehof},
  title        = {Indexed linear logic and higher-order model checking},
  booktitle    = {Proceedings Seventh Workshop on Intersection Types and Related Systems,
                  {ITRS} 2014, Vienna, Austria, 18 July 2014},
  series       = {{EPTCS}},
  volume       = {177},
  pages        = {43--52},
  year         = {2014},
  url          = {https://doi.org/10.4204/EPTCS.177.4},
  doi          = {10.4204/EPTCS.177.4},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrelloisM15b.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/GrelloisM14,
  author       = {Charles Grellois and
                  Paul{-}Andr{\'{e}} Melli{\`{e}}s},
  title        = {An infinitary model of linear logic},
  journal      = {CoRR},
  volume       = {abs/1411.4380},
  year         = {2014},
  url          = {http://arxiv.org/abs/1411.4380},
  eprinttype    = {arXiv},
  eprint       = {1411.4380},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GrelloisM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/Grellois11,
  author       = {Charles Grellois},
  title        = {Algebraic theories, monads, and arities},
  journal      = {CoRR},
  volume       = {abs/1110.3294},
  year         = {2011},
  url          = {http://arxiv.org/abs/1110.3294},
  eprinttype    = {arXiv},
  eprint       = {1110.3294},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Grellois11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.