default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Delia Kesner
@article{DBLP:journals/lmcs/KesnerPV24,
author = {Delia Kesner and
Lo{\"{\i}}c Peyrot and
Daniel Ventura},
title = {Node Replication: Theory And Practice},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {1},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(1:5)2024},
doi = {10.46298/LMCS-20(1:5)2024},
timestamp = {Fri, 22 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/KesnerPV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BonelliKV24,
author = {Eduardo Bonelli and
Delia Kesner and
Andr{\'{e}}s Viso},
title = {A Strong Bisimulation for a Classical Term Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {2},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(2:4)2024},
doi = {10.46298/LMCS-20(2:4)2024},
timestamp = {Mon, 29 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BonelliKV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/SantoKP24,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
Delia Kesner and
Lo{\"{\i}}c Peyrot},
title = {A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus
with Generalized Applications},
journal = {Log. Methods Comput. Sci.},
volume = {20},
number = {3},
year = {2024},
url = {https://doi.org/10.46298/lmcs-20(3:10)2024},
doi = {10.46298/LMCS-20(3:10)2024},
timestamp = {Wed, 28 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/SantoKP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/FernandezGK24,
author = {Maribel Fern{\'{a}}ndez and
Jean Goubault{-}Larrecq and
Delia Kesner},
editor = {Aniello Murano and
Alexandra Silva},
title = {The Ackermann Award 2023},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {1:1--1:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.1},
doi = {10.4230/LIPICS.CSL.2024.1},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/FernandezGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/KesnerAG24,
author = {Delia Kesner and
Victor Arrial and
Giulio Guerrieri},
editor = {Jakob Rehof},
title = {Meaningfulness and Genericity in a Subsuming Framework (Invited Talk)},
booktitle = {9th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2024, July 10-13, 2024, Tallinn, Estonia},
series = {LIPIcs},
volume = {299},
pages = {1:1--1:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2024.1},
doi = {10.4230/LIPICS.FSCD.2024.1},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/KesnerAG24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcar/ArrialGK24,
author = {Victor Arrial and
Giulio Guerrieri and
Delia Kesner},
editor = {Christoph Benzm{\"{u}}ller and
Marijn J. H. Heule and
Renate A. Schmidt},
title = {The Benefits of Diligence},
booktitle = {Automated Reasoning - 12th International Joint Conference, {IJCAR}
2024, Nancy, France, July 3-6, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14740},
pages = {338--359},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-63501-4\_18},
doi = {10.1007/978-3-031-63501-4\_18},
timestamp = {Fri, 02 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcar/ArrialGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ArrialGK24,
author = {Victor Arrial and
Giulio Guerrieri and
Delia Kesner},
editor = {Pawel Sobocinski and
Ugo Dal Lago and
Javier Esparza},
title = {Genericity Through Stratification},
booktitle = {Proceedings of the 39th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2024, Tallinn, Estonia, July 8-11, 2024},
pages = {5:1--5:15},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3661814.3662113},
doi = {10.1145/3661814.3662113},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/ArrialGK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BarenbaumKM24,
author = {Pablo Barenbaum and
Delia Kesner and
Mariana Milicich},
editor = {Nikolaj S. Bj{\o}rner and
Marijn Heule and
Andrei Voronkov},
title = {Hybrid Intersection Types for {PCF}},
booktitle = {{LPAR} 2024: Proceedings of 25th Conference on Logic for Programming,
Artificial Intelligence and Reasoning, Port Louis, Mauritius, May
26-31, 2024},
series = {EPiC Series in Computing},
volume = {100},
pages = {181--197},
publisher = {EasyChair},
year = {2024},
url = {https://doi.org/10.29007/gvzx},
doi = {10.29007/GVZX},
timestamp = {Tue, 25 Jun 2024 16:52:02 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BarenbaumKM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/types/2023,
editor = {Delia Kesner and
Eduardo Hermo Reyes and
Benno van den Berg},
title = {29th International Conference on Types for Proofs and Programs, {TYPES}
2023, June 12-16, 2023, ETSInf, Universitat Polit{\`{e}}cnica de Val{\`{e}}ncia,
Spain},
series = {LIPIcs},
volume = {303},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-332-4},
isbn = {978-3-95977-332-4},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-12212,
author = {Victor Arrial and
Giulio Guerrieri and
Delia Kesner},
title = {Genericity Through Stratification},
journal = {CoRR},
volume = {abs/2401.12212},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.12212},
doi = {10.48550/ARXIV.2401.12212},
eprinttype = {arXiv},
eprint = {2401.12212},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-12212.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-06361,
author = {Delia Kesner and
Victor Arrial and
Giulio Guerrieri},
title = {Meaningfulness and Genericity in a Subsuming Framework},
journal = {CoRR},
volume = {abs/2404.06361},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.06361},
doi = {10.48550/ARXIV.2404.06361},
eprinttype = {arXiv},
eprint = {2404.06361},
timestamp = {Wed, 15 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-06361.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-12951,
author = {Victor Arrial and
Giulio Guerrieri and
Delia Kesner},
title = {The Benefits of Diligence},
journal = {CoRR},
volume = {abs/2404.12951},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.12951},
doi = {10.48550/ARXIV.2404.12951},
eprinttype = {arXiv},
eprint = {2404.12951},
timestamp = {Wed, 22 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-12951.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-14340,
author = {Pablo Barenbaum and
Delia Kesner and
Mariana Milicich},
title = {Hybrid Intersection Types for {PCF} (Extended Version)},
journal = {CoRR},
volume = {abs/2404.14340},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.14340},
doi = {10.48550/ARXIV.2404.14340},
eprinttype = {arXiv},
eprint = {2404.14340},
timestamp = {Sat, 25 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-14340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-18874,
author = {Pablo Barenbaum and
Delia Kesner and
Mariana Milicich},
title = {The Essense of Useful Evaluation Through Quantitative Types (Extended
Version)},
journal = {CoRR},
volume = {abs/2404.18874},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.18874},
doi = {10.48550/ARXIV.2404.18874},
eprinttype = {arXiv},
eprint = {2404.18874},
timestamp = {Mon, 27 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-18874.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BucciarelliKRV23,
author = {Antonio Bucciarelli and
Delia Kesner and
Alejandro R{\'{\i}}os and
Andr{\'{e}}s Viso},
title = {The bang calculus revisited},
journal = {Inf. Comput.},
volume = {293},
pages = {105047},
year = {2023},
url = {https://doi.org/10.1016/j.ic.2023.105047},
doi = {10.1016/J.IC.2023.105047},
timestamp = {Fri, 18 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BucciarelliKRV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/ArrialGK23,
author = {Victor Arrial and
Giulio Guerrieri and
Delia Kesner},
title = {Quantitative Inhabitation for Different Lambda Calculi in a Unifying
Framework},
journal = {Proc. {ACM} Program. Lang.},
volume = {7},
number = {{POPL}},
pages = {1483--1513},
year = {2023},
url = {https://doi.org/10.1145/3571244},
doi = {10.1145/3571244},
timestamp = {Fri, 10 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/ArrialGK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/AlvesKR23,
author = {Sandra Alves and
Delia Kesner and
Miguel Ramos},
editor = {Helle Hvid Hansen and
Andre Scedrov and
Ruy J. G. B. de Queiroz},
title = {Quantitative Global Memory},
booktitle = {Logic, Language, Information, and Computation - 29th International
Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13923},
pages = {53--68},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-39784-4\_4},
doi = {10.1007/978-3-031-39784-4\_4},
timestamp = {Tue, 05 Sep 2023 20:33:24 +0200},
biburl = {https://dblp.org/rec/conf/wollic/AlvesKR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/types/2022,
editor = {Delia Kesner and
Pierre{-}Marie P{\'{e}}drot},
title = {28th International Conference on Types for Proofs and Programs, {TYPES}
2022, June 20-25, 2022, LS2N, University of Nantes, France},
series = {LIPIcs},
volume = {269},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://www.dagstuhl.de/dagpub/978-3-95977-285-3},
isbn = {978-3-95977-285-3},
timestamp = {Wed, 21 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/types/2022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-08940,
author = {Sandra Alves and
Delia Kesner and
Miguel Ramos},
title = {Quantitative Global Memory},
journal = {CoRR},
volume = {abs/2303.08940},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.08940},
doi = {10.48550/ARXIV.2303.08940},
eprinttype = {arXiv},
eprint = {2303.08940},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-08940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-13270,
author = {Delia Kesner and
Shane {\'{O}} Conch{\'{u}}ir},
title = {Milner's Lambda-Calculus with Partial Substitutions},
journal = {CoRR},
volume = {abs/2312.13270},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2312.13270},
doi = {10.48550/ARXIV.2312.13270},
eprinttype = {arXiv},
eprint = {2312.13270},
timestamp = {Wed, 17 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2312-13270.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/Kesner22,
author = {Delia Kesner},
title = {A fine-grained computational interpretation of Girard's intuitionistic
proof-nets},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{POPL}},
pages = {1--28},
year = {2022},
url = {https://doi.org/10.1145/3498669},
doi = {10.1145/3498669},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/Kesner22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KesnerV22,
author = {Delia Kesner and
Andr{\'{e}}s Viso},
editor = {Florin Manea and
Alex Simpson},
title = {Encoding Tight Typing in a Unified Framework},
booktitle = {30th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2022,
February 14-19, 2022, G{\"{o}}ttingen, Germany (Virtual Conference)},
series = {LIPIcs},
volume = {216},
pages = {27:1--27:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.27},
doi = {10.4230/LIPICS.CSL.2022.27},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KesnerV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/SantoKP22,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
Delia Kesner and
Lo{\"{\i}}c Peyrot},
editor = {Patricia Bouyer and
Lutz Schr{\"{o}}der},
title = {A Faithful and Quantitative Notion of Distant Reduction for Generalized
Applications},
booktitle = {Foundations of Software Science and Computation Structures - 25th
International Conference, {FOSSACS} 2022, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2022,
Munich, Germany, April 2-7, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13242},
pages = {285--304},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-030-99253-8\_15},
doi = {10.1007/978-3-030-99253-8\_15},
timestamp = {Fri, 29 Apr 2022 14:50:32 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/SantoKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fscd/KesnerP22,
author = {Delia Kesner and
Lo{\"{\i}}c Peyrot},
editor = {Amy P. Felty},
title = {Solvability for Generalized Applications},
booktitle = {7th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2022, August 2-5, 2022, Haifa, Israel},
series = {LIPIcs},
volume = {228},
pages = {18:1--18:22},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2022.18},
doi = {10.4230/LIPICS.FSCD.2022.18},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/fscd/KesnerP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-04156,
author = {Jos{\'{e}} Esp{\'{\i}}rito Santo and
Delia Kesner and
Lo{\"{\i}}c Peyrot},
title = {A Faithful and Quantitative Notion of Distant Reduction for Generalized
Applications (Long Version)},
journal = {CoRR},
volume = {abs/2201.04156},
year = {2022},
url = {https://arxiv.org/abs/2201.04156},
eprinttype = {arXiv},
eprint = {2201.04156},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-04156.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-07143,
author = {Delia Kesner and
Lo{\"{\i}}c Peyrot and
Daniel Ventura},
title = {Node Replication: Theory And Practice},
journal = {CoRR},
volume = {abs/2207.07143},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.07143},
doi = {10.48550/ARXIV.2207.07143},
eprinttype = {arXiv},
eprint = {2207.07143},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-07143.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BucciarelliKR21,
author = {Antonio Bucciarelli and
Delia Kesner and
Simona Ronchi Della Rocca},
title = {Solvability = Typability + Inhabitation},
journal = {Log. Methods Comput. Sci.},
volume = {17},
number = {1},
year = {2021},
url = {https://lmcs.episciences.org/7141},
timestamp = {Mon, 08 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/BucciarelliKR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KesnerPV21,
author = {Delia Kesner and
Lo{\"{\i}}c Peyrot and
Daniel Ventura},
editor = {Stefan Kiefer and
Christine Tasson},
title = {The Spirit of Node Replication},
booktitle = {Foundations of Software Science and Computation Structures - 24th
International Conference, {FOSSACS} 2021, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2021,
Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12650},
pages = {344--364},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-71995-1\_18},
doi = {10.1007/978-3-030-71995-1\_18},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KesnerPV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-05754,
author = {Eduardo Bonelli and
Delia Kesner and
Andr{\'{e}}s Viso},
title = {A Strong Bisimulation for Control Operators by Means of Multiplicative
and Exponential Reduction},
journal = {CoRR},
volume = {abs/2101.05754},
year = {2021},
url = {https://arxiv.org/abs/2101.05754},
eprinttype = {arXiv},
eprint = {2101.05754},
timestamp = {Fri, 22 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-05754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-00564,
author = {Delia Kesner and
Andr{\'{e}}s Viso},
title = {The Power of Tightness for Call-By-Push-Value},
journal = {CoRR},
volume = {abs/2105.00564},
year = {2021},
url = {https://arxiv.org/abs/2105.00564},
eprinttype = {arXiv},
eprint = {2105.00564},
timestamp = {Wed, 12 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-00564.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/AccattoliGK20,
author = {Beniamino Accattoli and
St{\'{e}}phane Graham{-}Lengrand and
Delia Kesner},
title = {Tight typings and split bounds, fully developed},
journal = {J. Funct. Program.},
volume = {30},
pages = {e14},
year = {2020},
url = {https://doi.org/10.1017/S095679682000012X},
doi = {10.1017/S095679682000012X},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/AccattoliGK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KesnerV19,
author = {Delia Kesner and
Pierre Vial},
title = {Non-idempotent types for classical calculi in natural deduction style},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {1},
year = {2020},
url = {https://doi.org/10.23638/LMCS-16(1:3)2020},
doi = {10.23638/LMCS-16(1:3)2020},
timestamp = {Wed, 28 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/KesnerV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/KesnerBV20,
author = {Delia Kesner and
Eduardo Bonelli and
Andr{\'{e}}s Viso},
editor = {Maribel Fern{\'{a}}ndez and
Anca Muscholl},
title = {Strong Bisimulation for Control Operators (Invited Talk)},
booktitle = {28th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2020,
January 13-16, 2020, Barcelona, Spain},
series = {LIPIcs},
volume = {152},
pages = {4:1--4:23},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CSL.2020.4},
doi = {10.4230/LIPICS.CSL.2020.4},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/KesnerBV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/BucciarelliKRV20,
author = {Antonio Bucciarelli and
Delia Kesner and
Alejandro R{\'{\i}}os and
Andr{\'{e}}s Viso},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {The Bang Calculus Revisited},
booktitle = {Functional and Logic Programming - 15th International Symposium, {FLOPS}
2020, Akita, Japan, September 14-16, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12073},
pages = {13--32},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_2},
doi = {10.1007/978-3-030-59025-3\_2},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BucciarelliKRV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/KesnerV20,
author = {Delia Kesner and
Pierre Vial},
editor = {Holger Hermanns and
Lijun Zhang and
Naoki Kobayashi and
Dale Miller},
title = {Consuming and Persistent Types for Classical Logic},
booktitle = {{LICS} '20: 35th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Saarbr{\"{u}}cken, Germany, July 8-11, 2020},
pages = {619--632},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3373718.3394774},
doi = {10.1145/3373718.3394774},
timestamp = {Sat, 30 Sep 2023 09:52:07 +0200},
biburl = {https://dblp.org/rec/conf/lics/KesnerV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-04011,
author = {Antonio Bucciarelli and
Delia Kesner and
Alejandro R{\'{\i}}os and
Andr{\'{e}}s Viso},
title = {The Bang Calculus Revisited},
journal = {CoRR},
volume = {abs/2002.04011},
year = {2020},
url = {https://arxiv.org/abs/2002.04011},
eprinttype = {arXiv},
eprint = {2002.04011},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-04011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/KesnerV19,
author = {Delia Kesner and
Daniel Ventura},
title = {A resource aware semantics for a focused intuitionistic calculus},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {1},
pages = {93--126},
year = {2019},
url = {https://doi.org/10.1017/S0960129517000111},
doi = {10.1017/S0960129517000111},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mscs/KesnerV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/AlvesKV19,
author = {Sandra Alves and
Delia Kesner and
Daniel Ventura},
editor = {Marc Bezem and
Assia Mahboubi},
title = {A Quantitative Understanding of Pattern Matching},
booktitle = {25th International Conference on Types for Proofs and Programs, {TYPES}
2019, June 11-14, 2019, Oslo, Norway},
series = {LIPIcs},
volume = {175},
pages = {3:1--3:36},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2019.3},
doi = {10.4230/LIPICS.TYPES.2019.3},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/types/AlvesKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-09370,
author = {Eduardo Bonelli and
Delia Kesner and
Andr{\'{e}}s Viso},
title = {Strong Bisimulation for Control Operators},
journal = {CoRR},
volume = {abs/1906.09370},
year = {2019},
url = {http://arxiv.org/abs/1906.09370},
eprinttype = {arXiv},
eprint = {1906.09370},
timestamp = {Thu, 27 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-09370.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-01914,
author = {Sandra Alves and
Delia Kesner and
Daniel Ventura},
title = {A Quantitative Understanding of Pattern Matching},
journal = {CoRR},
volume = {abs/1912.01914},
year = {2019},
url = {http://arxiv.org/abs/1912.01914},
eprinttype = {arXiv},
eprint = {1912.01914},
timestamp = {Thu, 02 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1912-01914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/BucciarelliKR18,
author = {Antonio Bucciarelli and
Delia Kesner and
Simona Ronchi Della Rocca},
title = {Inhabitation for Non-idempotent Intersection Types},
journal = {Log. Methods Comput. Sci.},
volume = {14},
number = {3},
year = {2018},
url = {https://doi.org/10.23638/LMCS-14(3:7)2018},
doi = {10.23638/LMCS-14(3:7)2018},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/BucciarelliKR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AccattoliGK18,
author = {Beniamino Accattoli and
St{\'{e}}phane Graham{-}Lengrand and
Delia Kesner},
title = {Tight typings and split bounds},
journal = {Proc. {ACM} Program. Lang.},
volume = {2},
number = {{ICFP}},
pages = {94:1--94:30},
year = {2018},
url = {https://doi.org/10.1145/3236789},
doi = {10.1145/3236789},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/AccattoliGK18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KesnerRV18,
author = {Delia Kesner and
Alejandro R{\'{\i}}os and
Andr{\'{e}}s Viso},
editor = {Christel Baier and
Ugo Dal Lago},
title = {Call-by-Need, Neededness and All That},
booktitle = {Foundations of Software Science and Computation Structures - 21st
International Conference, {FOSSACS} 2018, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2018,
Thessaloniki, Greece, April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10803},
pages = {241--257},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89366-2\_13},
doi = {10.1007/978-3-319-89366-2\_13},
timestamp = {Sun, 04 Aug 2024 19:40:23 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KesnerRV18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-10519,
author = {Delia Kesner and
Alejandro R{\'{\i}}os and
Andr{\'{e}}s Viso},
title = {Call-by-need, neededness and all that},
journal = {CoRR},
volume = {abs/1801.10519},
year = {2018},
url = {http://arxiv.org/abs/1801.10519},
eprinttype = {arXiv},
eprint = {1801.10519},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-10519.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-05494,
author = {Delia Kesner and
Pierre Vial},
title = {Non-idempotent types for classical calculi in natural deduction style},
journal = {CoRR},
volume = {abs/1802.05494},
year = {2018},
url = {http://arxiv.org/abs/1802.05494},
eprinttype = {arXiv},
eprint = {1802.05494},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-05494.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-02358,
author = {Beniamino Accattoli and
St{\'{e}}phane Graham{-}Lengrand and
Delia Kesner},
title = {Tight Typings and Split Bounds},
journal = {CoRR},
volume = {abs/1807.02358},
year = {2018},
url = {http://arxiv.org/abs/1807.02358},
eprinttype = {arXiv},
eprint = {1807.02358},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-02358.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-06009,
author = {Antonio Bucciarelli and
Delia Kesner and
Simona Ronchi Della Rocca},
title = {Observability = Typability + Inhabitation},
journal = {CoRR},
volume = {abs/1812.06009},
year = {2018},
url = {http://arxiv.org/abs/1812.06009},
eprinttype = {arXiv},
eprint = {1812.06009},
timestamp = {Tue, 01 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-06009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BucciarelliKV17,
author = {Antonio Bucciarelli and
Delia Kesner and
Daniel Ventura},
title = {Non-idempotent intersection types for the Lambda-Calculus},
journal = {Log. J. {IGPL}},
volume = {25},
number = {4},
pages = {431--464},
year = {2017},
url = {https://doi.org/10.1093/jigpal/jzx018},
doi = {10.1093/JIGPAL/JZX018},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/BucciarelliKV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BalabonskiBBK17,
author = {Thibaut Balabonski and
Pablo Barenbaum and
Eduardo Bonelli and
Delia Kesner},
title = {Foundations of strong call by need},
journal = {Proc. {ACM} Program. Lang.},
volume = {1},
number = {{ICFP}},
pages = {20:1--20:29},
year = {2017},
url = {https://doi.org/10.1145/3110264},
doi = {10.1145/3110264},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pacmpl/BalabonskiBBK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BonelliKLR17,
author = {Eduardo Bonelli and
Delia Kesner and
Carlos Lombardi and
Alejandro R{\'{\i}}os},
title = {On abstract normalisation beyond neededness},
journal = {Theor. Comput. Sci.},
volume = {672},
pages = {36--63},
year = {2017},
url = {https://doi.org/10.1016/j.tcs.2017.01.025},
doi = {10.1016/J.TCS.2017.01.025},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BonelliKLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KesnerV17,
author = {Delia Kesner and
Pierre Vial},
editor = {Dale Miller},
title = {Types as Resources for Classical Natural Deduction},
booktitle = {2nd International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2017, September 3-9, 2017, Oxford, {UK}},
series = {LIPIcs},
volume = {84},
pages = {24:1--24:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2017.24},
doi = {10.4230/LIPICS.FSCD.2017.24},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/KesnerV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-03829,
author = {Antonio Bucciarelli and
Delia Kesner and
Simona Ronchi Della Rocca},
title = {Inhabitation for Non-idempotent Intersection Types},
journal = {CoRR},
volume = {abs/1712.03829},
year = {2017},
url = {http://arxiv.org/abs/1712.03829},
eprinttype = {arXiv},
eprint = {1712.03829},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-03829.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/Kesner16,
author = {Delia Kesner},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {Reasoning About Call-by-need by Means of Types},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 2016, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {424--441},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_25},
doi = {10.1007/978-3-662-49630-5\_25},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/Kesner16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rta/2016,
editor = {Delia Kesner and
Brigitte Pientka},
title = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {http://www.dagstuhl.de/dagpub/978-3-95977-010-1},
isbn = {978-3-95977-010-1},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FingerK15,
author = {Marcelo Finger and
Delia Kesner},
title = {Special Issue: Selected papers of the 7th and 8th workshops on Logical
and Semantic Frameworks with Applications {(LSFA)}},
journal = {Theor. Comput. Sci.},
volume = {606},
pages = {1},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.10.028},
doi = {10.1016/J.TCS.2015.10.028},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FingerK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/KesnerV15,
author = {Delia Kesner and
Daniel Ventura},
editor = {Martin Leucker and
Camilo Rueda and
Frank D. Valencia},
title = {A Resource Aware Computational Interpretation for Herbelin's Syntax},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9399},
pages = {388--403},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25150-9\_23},
doi = {10.1007/978-3-319-25150-9\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ictac/KesnerV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/BucciarelliKR15,
author = {Antonio Bucciarelli and
Delia Kesner and
Simona Ronchi Della Rocca},
editor = {Thorsten Altenkirch},
title = {Observability for Pair Pattern Calculi},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {123--137},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.123},
doi = {10.4230/LIPICS.TLCA.2015.123},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/tlca/BucciarelliKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BucciarelliKV16,
author = {Antonio Bucciarelli and
Delia Kesner and
Daniel Ventura},
editor = {Mario R. F. Benevides and
Ren{\'{e}} Thiemann},
title = {Strong Normalization through Intersection Types and Memory},
booktitle = {Proceedings of the Tenth Workshop on Logical and Semantic Frameworks,
with Applications, {LSFA} 2015, Natal, Brazil, August 31 - September
1, 2015},
series = {Electronic Notes in Theoretical Computer Science},
volume = {323},
pages = {75--91},
publisher = {Elsevier},
year = {2015},
url = {https://doi.org/10.1016/j.entcs.2016.06.006},
doi = {10.1016/J.ENTCS.2016.06.006},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/BucciarelliKV16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MouraKA14,
author = {Fl{\'{a}}vio L. C. de Moura and
Delia Kesner and
Mauricio Ayala{-}Rinc{\'{o}}n},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {Metaconfluence of Calculi with Explicit Substitutions at a Distance},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {391--402},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.391},
doi = {10.4230/LIPICS.FSTTCS.2014.391},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/MouraKA14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/KesnerV14,
author = {Delia Kesner and
Daniel Ventura},
editor = {Josep D{\'{\i}}az and
Ivan Lanese and
Davide Sangiorgi},
title = {Quantitative Types for the Linear Substitution Calculus},
booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8705},
pages = {296--310},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44602-7\_23},
doi = {10.1007/978-3-662-44602-7\_23},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/KesnerV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BucciarelliKR14,
author = {Antonio Bucciarelli and
Delia Kesner and
Simona Ronchi Della Rocca},
editor = {Josep D{\'{\i}}az and
Ivan Lanese and
Davide Sangiorgi},
title = {The Inhabitation Problem for Non-idempotent Intersection Types},
booktitle = {Theoretical Computer Science - 8th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2014, Rome, Italy, September 1-3, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8705},
pages = {341--354},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44602-7\_26},
doi = {10.1007/978-3-662-44602-7\_26},
timestamp = {Sun, 23 Dec 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifipTCS/BucciarelliKR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AccattoliBKL14,
author = {Beniamino Accattoli and
Eduardo Bonelli and
Delia Kesner and
Carlos Lombardi},
editor = {Suresh Jagannathan and
Peter Sewell},
title = {A nonstandard standardization theorem},
booktitle = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21,
2014},
pages = {659--670},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2535838.2535886},
doi = {10.1145/2535838.2535886},
timestamp = {Thu, 24 Jun 2021 16:19:31 +0200},
biburl = {https://dblp.org/rec/conf/popl/AccattoliBKL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BonelliKLR14,
author = {Eduardo Bonelli and
Delia Kesner and
Carlos Lombardi and
Alejandro R{\'{\i}}os},
title = {An abstract normalisation result with applications to non-sequential
calculi},
journal = {CoRR},
volume = {abs/1412.2118},
year = {2014},
url = {http://arxiv.org/abs/1412.2118},
eprinttype = {arXiv},
eprint = {1412.2118},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BonelliKLR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-0670,
author = {Beniamino Accattoli and
Delia Kesner},
title = {Preservation of Strong Normalisation modulo permutations for the structural
lambda-calculus},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:28)2012},
doi = {10.2168/LMCS-8(1:28)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-0670.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AccattoliK12,
author = {Beniamino Accattoli and
Delia Kesner},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {The Permutative {\(\lambda\)}-Calculus},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {23--36},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_5},
doi = {10.1007/978-3-642-28717-6\_5},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AccattoliK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BonelliKLR12,
author = {Eduardo Bonelli and
Delia Kesner and
Carlos Lombardi and
Alejandro R{\'{\i}}os},
editor = {Ashish Tiwari},
title = {Normalisation for Dynamic Pattern Calculi},
booktitle = {23rd International Conference on Rewriting Techniques and Applications
(RTA'12) , {RTA} 2012, May 28 - June 2, 2012, Nagoya, Japan},
series = {LIPIcs},
volume = {15},
pages = {117--132},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.RTA.2012.117},
doi = {10.4230/LIPICS.RTA.2012.117},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BonelliKLR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1303-7136,
editor = {Delia Kesner and
Petrucio Viana},
title = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
2012},
series = {{EPTCS}},
volume = {113},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.113},
doi = {10.4204/EPTCS.113},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-7136.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KesnerR11,
author = {Delia Kesner and
Fabien Renaud},
title = {A prismoid framework for languages with resources},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {37},
pages = {4867--4892},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.01.026},
doi = {10.1016/J.TCS.2011.01.026},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KesnerR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AccattoliK10,
author = {Beniamino Accattoli and
Delia Kesner},
editor = {Anuj Dawar and
Helmut Veith},
title = {The Structural \emph{lambda}-Calculus},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {381--395},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_30},
doi = {10.1007/978-3-642-15205-4\_30},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AccattoliK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1102-3734,
author = {Delia Kesner and
Carlos Lombardi and
Alejandro R{\'{\i}}os},
editor = {Eduardo Bonelli},
title = {A standardisation proof for algebraic pattern calculi},
booktitle = {Proceedings 5th International Workshop on Higher-Order Rewriting,
{HOR} 2010, Edinburgh, UK, July 14, 2010},
series = {{EPTCS}},
volume = {49},
pages = {58--72},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.49.5},
doi = {10.4204/EPTCS.49.5},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-3734.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-2539,
author = {Delia Kesner},
title = {A Theory of Explicit Substitutions with Safe and Full Composition},
journal = {Log. Methods Comput. Sci.},
volume = {5},
number = {3},
year = {2009},
url = {http://arxiv.org/abs/0905.2539},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-2539.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/JayK09,
author = {C. Barry Jay and
Delia Kesner},
title = {First-class patterns},
journal = {J. Funct. Program.},
volume = {19},
number = {2},
pages = {191--225},
year = {2009},
url = {https://doi.org/10.1017/S0956796808007144},
doi = {10.1017/S0956796808007144},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/JayK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KesnerR09,
author = {Delia Kesner and
Fabien Renaud},
editor = {Rastislav Kr{\'{a}}lovic and
Damian Niwinski},
title = {The Prismoid of Resources},
booktitle = {Mathematical Foundations of Computer Science 2009, 34th International
Symposium, {MFCS} 2009, Novy Smokovec, High Tatras, Slovakia, August
24-28, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5734},
pages = {464--476},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03816-7\_40},
doi = {10.1007/978-3-642-03816-7\_40},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KesnerR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kesner08,
author = {Delia Kesner},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {Perpetuality for Full and Safe Composition (in a Constructive Setting)},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{II} - Track {B:} Logic, Semantics, and Theory of Programming {\&}
Track {C:} Security and Cryptography Foundations},
series = {Lecture Notes in Computer Science},
volume = {5126},
pages = {311--322},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70583-3\_26},
doi = {10.1007/978-3-540-70583-3\_26},
timestamp = {Fri, 27 Mar 2020 09:02:59 +0100},
biburl = {https://dblp.org/rec/conf/icalp/Kesner08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KesnerL07,
author = {Delia Kesner and
St{\'{e}}phane Lengrand},
title = {Resource operators for lambda-calculus},
journal = {Inf. Comput.},
volume = {205},
number = {4},
pages = {419--473},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2006.08.008},
doi = {10.1016/J.IC.2006.08.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KesnerL07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ForestK07,
author = {Julien Forest and
Delia Kesner},
title = {Expression Reduction Systems with Patterns},
journal = {J. Autom. Reason.},
volume = {39},
number = {4},
pages = {513--541},
year = {2007},
url = {https://doi.org/10.1007/s10817-007-9083-0},
doi = {10.1007/S10817-007-9083-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ForestK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kesner07,
author = {Delia Kesner},
editor = {Jacques Duparc and
Thomas A. Henzinger},
title = {The Theory of Calculi with Explicit Substitutions Revisited},
booktitle = {Computer Science Logic, 21st International Workshop, {CSL} 2007, 16th
Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4646},
pages = {238--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74915-8\_20},
doi = {10.1007/978-3-540-74915-8\_20},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Kesner07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DyckhoffKL06,
author = {Roy Dyckhoff and
Delia Kesner and
St{\'{e}}phane Lengrand},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {Strong Cut-Elimination Systems for Hudelmaier's Depth-Bounded Sequent
Calculus for Implicational Logic},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {347--361},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_31},
doi = {10.1007/11814771\_31},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/DyckhoffKL06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/JayK06,
author = {C. Barry Jay and
Delia Kesner},
editor = {Peter Sestoft},
title = {Pure Pattern Calculus},
booktitle = {Programming Languages and Systems, 15th European Symposium on Programming,
{ESOP} 2006, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2006, Vienna, Austria, March 27-28,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3924},
pages = {100--114},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11693024\_8},
doi = {10.1007/11693024\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/JayK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BonelliKR05,
author = {Eduardo Bonelli and
Delia Kesner and
Alejandro R{\'{\i}}os},
title = {de Bruijn Indices for Metaterms},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {855--899},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi051},
doi = {10.1093/LOGCOM/EXI051},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BonelliKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BonelliKR05a,
author = {Eduardo Bonelli and
Delia Kesner and
Alejandro R{\'{\i}}os},
title = {Relating Higher-order and First-order Rewriting},
journal = {J. Log. Comput.},
volume = {15},
number = {6},
pages = {901--947},
year = {2005},
url = {https://doi.org/10.1093/logcom/exi050},
doi = {10.1093/LOGCOM/EXI050},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BonelliKR05a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GlauertKK05,
author = {John R. W. Glauert and
Delia Kesner and
Zurab Khasidashvili},
editor = {Aart Middeldorp and
Vincent van Oostrom and
Femke van Raamsdonk and
Roel C. de Vrijer},
title = {Expression Reduction Systems and Extensions: An Overview},
booktitle = {Processes, Terms and Cycles: Steps on the Road to Infinity, Essays
Dedicated to Jan Willem Klop, on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {3838},
pages = {496--553},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11601548\_22},
doi = {10.1007/11601548\_22},
timestamp = {Mon, 16 Sep 2019 15:30:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/GlauertKK05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/KesnerL05,
author = {Delia Kesner and
St{\'{e}}phane Lengrand},
editor = {J{\"{u}}rgen Giesl},
title = {Extending the Explicit Substitution Paradigm},
booktitle = {Term Rewriting and Applications, 16th International Conference, {RTA}
2005, Nara, Japan, April 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3467},
pages = {407--422},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-32033-3\_30},
doi = {10.1007/978-3-540-32033-3\_30},
timestamp = {Wed, 25 Sep 2019 18:23:35 +0200},
biburl = {https://dblp.org/rec/conf/rta/KesnerL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CerritoK04,
author = {Serenella Cerrito and
Delia Kesner},
title = {Pattern matching as cut elimination},
journal = {Theor. Comput. Sci.},
volume = {323},
number = {1-3},
pages = {71--127},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.03.032},
doi = {10.1016/J.TCS.2004.03.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CerritoK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CosmoKP03,
author = {Roberto Di Cosmo and
Delia Kesner and
Emmanuel Polonowski},
title = {Proof Nets And Explicit Substitutions},
journal = {Math. Struct. Comput. Sci.},
volume = {13},
number = {3},
pages = {409--450},
year = {2003},
url = {https://doi.org/10.1017/S0960129502003791},
doi = {10.1017/S0960129502003791},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CosmoKP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ForestK03,
author = {Julien Forest and
Delia Kesner},
editor = {Robert Nieuwenhuis},
title = {Expression Reduction Systems with Patterns},
booktitle = {Rewriting Techniques and Applications, 14th International Conference,
{RTA} 2003, Valencia, Spain, June 9-11, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2706},
pages = {107--122},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44881-0\_9},
doi = {10.1007/3-540-44881-0\_9},
timestamp = {Sun, 02 Oct 2022 16:14:20 +0200},
biburl = {https://dblp.org/rec/conf/rta/ForestK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Kesner01,
author = {Delia Kesner},
title = {Theory and applications of explicit substitutions: Introduction},
journal = {Math. Struct. Comput. Sci.},
volume = {11},
number = {1},
pages = {1},
year = {2001},
url = {http://journals.cambridge.org/action/displayAbstract?aid=67277},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Kesner01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BonelliKR01,
author = {Eduardo Bonelli and
Delia Kesner and
Alejandro R{\'{\i}}os},
editor = {Aart Middeldorp},
title = {From Higher-Order to First-Order Rewriting},
booktitle = {Rewriting Techniques and Applications, 12th International Conference,
{RTA} 2001, Utrecht, The Netherlands, May 22-24, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2051},
pages = {47--62},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45127-7\_6},
doi = {10.1007/3-540-45127-7\_6},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BonelliKR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kesner00,
author = {Delia Kesner},
title = {Confluence of extensional and non-extensional lambda-calculi with
explicit substitutions},
journal = {Theor. Comput. Sci.},
volume = {238},
number = {1-2},
pages = {183--220},
year = {2000},
url = {https://doi.org/10.1016/S0304-3975(98)00166-2},
doi = {10.1016/S0304-3975(98)00166-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Kesner00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CosmoKP00,
author = {Roberto Di Cosmo and
Delia Kesner and
Emmanuel Polonowski},
editor = {Jerzy Tiuryn},
title = {Proof Nets and Explicit Substitutions},
booktitle = {Foundations of Software Science and Computation Structures, Third
International Conference, {FOSSACS} 2000, Held as Part of the Joint
European Conferences on Theory and Practice of Software,ETAPS 2000,
Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1784},
pages = {63--81},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46432-8\_5},
doi = {10.1007/3-540-46432-8\_5},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CosmoKP00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/BonelliKR00,
author = {Eduardo Bonelli and
Delia Kesner and
Alejandro R{\'{\i}}os},
editor = {Leo Bachmair},
title = {A de Bruijn Notation for Higher-Order Rewriting},
booktitle = {Rewriting Techniques and Applications, 11th International Conference,
{RTA} 2000, Norwich, UK, July 10-12, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1833},
pages = {62--79},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10721975\_5},
doi = {10.1007/10721975\_5},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rta/BonelliKR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/FerreiraKP99,
author = {Maria C. F. Ferreira and
Delia Kesner and
Laurence Puel},
title = {lambda-Calculi with Explicit Substitutions Preserving Strong Normalization},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {9},
number = {4},
pages = {333--371},
year = {1999},
url = {https://doi.org/10.1007/s002000050110},
doi = {10.1007/S002000050110},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/FerreiraKP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/KesnerL99,
author = {Delia Kesner and
Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
title = {Explicit Substitutions for Objects and Functions},
journal = {J. Funct. Log. Program.},
volume = {1999},
number = {Special Issue 2},
year = {1999},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/KesnerL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CerritoaK99,
author = {Serenella Cerrito and
Delia Kesner},
title = {Pattern Matching as Cut Elimination},
booktitle = {14th Annual {IEEE} Symposium on Logic in Computer Science, Trento,
Italy, July 2-5, 1999},
pages = {98--108},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/LICS.1999.782596},
doi = {10.1109/LICS.1999.782596},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CerritoaK99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/FerreiraKP98,
author = {Maria C. F. Ferreira and
Delia Kesner and
Laurence Puel},
editor = {Lubos Brim and
Jozef Gruska and
Jir{\'{\i}} Zlatuska},
title = {Reducing AC-Termination to Termination},
booktitle = {Mathematical Foundations of Computer Science 1998, 23rd International
Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1450},
pages = {239--247},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055773},
doi = {10.1007/BFB0055773},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/FerreiraKP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/KesnerL98,
author = {Delia Kesner and
Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Explicit Substitutions for Objects and Functions},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {195--212},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056615},
doi = {10.1007/BFB0056615},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/KesnerL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jflp/Kesner97,
author = {Delia Kesner},
title = {Reasoning about Redundant Patterns},
journal = {J. Funct. Log. Program.},
volume = {1997},
number = {4},
year = {1997},
url = {http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1997/A97-04/A97-04.html},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jflp/Kesner97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/CosmoK97,
author = {Roberto Di Cosmo and
Delia Kesner},
title = {Strong Normalization of Explicit Substitutions via Cut Elimination
in Proof Nets (Extended Abstract)},
booktitle = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science,
Warsaw, Poland, June 29 - July 2, 1997},
pages = {35--46},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/LICS.1997.614927},
doi = {10.1109/LICS.1997.614927},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/CosmoK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KesnerPT96,
author = {Delia Kesner and
Laurence Puel and
Val Tannen},
title = {A Typed Pattern Calculus},
journal = {Inf. Comput.},
volume = {124},
number = {1},
pages = {32--61},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0004},
doi = {10.1006/INCO.1996.0004},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KesnerPT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CosmoK96,
author = {Roberto Di Cosmo and
Delia Kesner},
title = {Combining Algebraic Rewriting, Extensional Lambda Calculi, and Fixpoints},
journal = {Theor. Comput. Sci.},
volume = {169},
number = {2},
pages = {201--220},
year = {1996},
url = {https://doi.org/10.1016/S0304-3975(96)00121-1},
doi = {10.1016/S0304-3975(96)00121-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CosmoK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/FerreiraKP96,
author = {Maria C. F. Ferreira and
Delia Kesner and
Laurence Puel},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Lambda-Calculi with Explicit Substitutions and Composition Which Preserve
Beta-Strong Normalization},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {284--298},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_19},
doi = {10.1007/3-540-61735-3\_19},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/FerreiraKP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Kesner96,
author = {Delia Kesner},
editor = {Harald Ganzinger},
title = {Confluence Properties of Extensional and Non-Extensional \emph{lambda}-Calculi
with Explicit Substitutions (Extended Abstract)},
booktitle = {Rewriting Techniques and Applications, 7th International Conference,
RTA-96, New Brunswick, NJ, USA, July 27-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1103},
pages = {184--199},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61464-8\_52},
doi = {10.1007/3-540-61464-8\_52},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/Kesner96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/CosmoK95,
author = {Roberto Di Cosmo and
Delia Kesner},
editor = {Hans Kleine B{\"{u}}ning},
title = {Rewriting with Extensional Polymorphic Lambda-Calculus},
booktitle = {Computer Science Logic, 9th International Workshop, {CSL} '95, Annual
Conference of the EACSL, Paderborn, Germany, September 22-29, 1995,
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1092},
pages = {215--232},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-61377-3\_40},
doi = {10.1007/3-540-61377-3\_40},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/CosmoK95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CosmoK94,
author = {Roberto Di Cosmo and
Delia Kesner},
title = {Simulating Expansions without Expansions},
journal = {Math. Struct. Comput. Sci.},
volume = {4},
number = {3},
pages = {315--362},
year = {1994},
url = {https://doi.org/10.1017/S0960129500000505},
doi = {10.1017/S0960129500000505},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CosmoK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Kesner94,
author = {Delia Kesner},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Reasoning about Layered, Wildcard and Product Patterns},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {253--268},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_18},
doi = {10.1007/3-540-58431-5\_18},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/Kesner94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CosmoK94,
author = {Roberto Di Cosmo and
Delia Kesner},
editor = {Serge Abiteboul and
Eli Shamir},
title = {Combining First Order Algebraic Rewriting Systems, Recursion and Extensional
Lambda Calculi},
booktitle = {Automata, Languages and Programming, 21st International Colloquium,
ICALP94, Jerusalem, Israel, July 11-14, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {820},
pages = {462--472},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58201-0\_90},
doi = {10.1007/3-540-58201-0\_90},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CosmoK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CosmoK93,
author = {Roberto Di Cosmo and
Delia Kesner},
editor = {Andrzej Lingas and
Rolf G. Karlsson and
Svante Carlsson},
title = {A Confluent Reduction for the Extensional Typed lambda-Calculus with
Pairs, Sums, Recursion and terminal Object},
booktitle = {Automata, Languages and Programming, 20nd International Colloquium,
ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {700},
pages = {645--656},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56939-1\_109},
doi = {10.1007/3-540-56939-1\_109},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CosmoK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Breazu-TannenKP93,
author = {Val Tannen and
Delia Kesner and
Laurence Puel},
title = {A Typed Pattern Calculus},
booktitle = {Proceedings of the Eighth Annual Symposium on Logic in Computer Science
{(LICS} '93), Montreal, Canada, June 19-23, 1993},
pages = {262--274},
publisher = {{IEEE} Computer Society},
year = {1993},
url = {https://doi.org/10.1109/LICS.1993.287581},
doi = {10.1109/LICS.1993.287581},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Breazu-TannenKP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kesner92,
author = {Delia Kesner},
editor = {Deepak Kapur},
title = {Free Sequentially in Orthogonal Order-Sorted Rewriting Systems with
Constructors},
booktitle = {Automated Deduction - CADE-11, 11th International Conference on Automated
Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {607},
pages = {603--617},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55602-8\_195},
doi = {10.1007/3-540-55602-8\_195},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Kesner92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kesner91,
author = {Delia Kesner},
editor = {Andrzej Tarlecki},
title = {Pattern Matching in Order-Sorted Languages},
booktitle = {Mathematical Foundations of Computer Science 1991, 16th International
Symposium, MFCS'91, Kazimierz Dolny, Poland, September 9-13, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {520},
pages = {267--276},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54345-7\_70},
doi = {10.1007/3-540-54345-7\_70},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/Kesner91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-08-29 21:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
