Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Beniamino Accattoli
@inproceedings{DBLP:conf/csl/Accattoli24,
author = {Beniamino Accattoli},
editor = {Aniello Murano and
Alexandra Silva},
title = {Semantic Bounds and Multi Types, Revisited},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {7:1--7:24},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.7},
doi = {10.4230/LIPICS.CSL.2024.7},
timestamp = {Wed, 07 Feb 2024 14:22:56 +0100},
biburl = {https://dblp.org/rec/conf/csl/Accattoli24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/AccattoliL24,
author = {Beniamino Accattoli and
Adrienne Lancelot},
editor = {Naoki Kobayashi and
James Worrell},
title = {Light Genericity},
booktitle = {Foundations of Software Science and Computation Structures - 27th
International Conference, FoSSaCS 2024, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2024,
Luxembourg City, Luxembourg, April 6-11, 2024, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {14575},
pages = {24--46},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-57231-9\_2},
doi = {10.1007/978-3-031-57231-9\_2},
timestamp = {Sun, 14 Apr 2024 18:32:17 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/AccattoliL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-12078,
author = {Beniamino Accattoli and
Adrienne Lancelot},
title = {Mirroring Call-by-Need, or Values Acting Silly},
journal = {CoRR},
volume = {abs/2402.12078},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.12078},
doi = {10.48550/ARXIV.2402.12078},
eprinttype = {arXiv},
eprint = {2402.12078},
timestamp = {Thu, 21 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-12078.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/Accattoli23,
author = {Beniamino Accattoli},
title = {Exponentials as Substitutions and the Cost of Cut Elimination in Linear
Logic},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {4},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(4:23)2023},
doi = {10.46298/LMCS-19(4:23)2023},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/Accattoli23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AccattoliB23,
author = {Beniamino Accattoli and
Pablo Barenbaum},
editor = {Chung{-}Kil Hur},
title = {A Diamond Machine for Strong Evaluation},
booktitle = {Programming Languages and Systems - 21st Asian Symposium, {APLAS}
2023, Taipei, Taiwan, November 26-29, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14405},
pages = {69--90},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-981-99-8311-7\_4},
doi = {10.1007/978-981-99-8311-7\_4},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/AccattoliB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/AccattoliGL23,
author = {Beniamino Accattoli and
Giulio Guerrieri and
Maico Leberle},
editor = {Erika {\'{A}}brah{\'{a}}m and
Clemens Dubslaff and
Silvia Lizeth Tapia Tarifa},
title = {Strong Call-by-Value and Multi Types},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2023 - 20th International
Colloquium, Lima, Peru, December 4-8, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14446},
pages = {196--215},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47963-2\_13},
doi = {10.1007/978-3-031-47963-2\_13},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/AccattoliGL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/AccattoliBC23,
author = {Beniamino Accattoli and
Horace Blanc and
Claudio Sacerdoti Coen},
editor = {Adam Naumowicz and
Ren{\'{e}} Thiemann},
title = {Formalizing Functions as Processes},
booktitle = {14th International Conference on Interactive Theorem Proving, {ITP}
2023, July 31 to August 4, 2023, Bia{\l}ystok, Poland},
series = {LIPIcs},
volume = {268},
pages = {5:1--5:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ITP.2023.5},
doi = {10.4230/LIPICS.ITP.2023.5},
timestamp = {Wed, 26 Jul 2023 16:07:09 +0200},
biburl = {https://dblp.org/rec/conf/itp/AccattoliBC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/onward/Accattoli23,
author = {Beniamino Accattoli},
editor = {Tijs van der Storm and
Robert Hirschfeld},
title = {Sharing a Perspective on the {\(\lambda\)}-Calculus},
booktitle = {Proceedings of the 2023 {ACM} {SIGPLAN} International Symposium on
New Ideas, New Paradigms, and Reflections on Programming and Software,
Onward! 2023, Cascais, Portugal, October 25-27, 2023},
pages = {179--190},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3622758.3622884},
doi = {10.1145/3622758.3622884},
timestamp = {Tue, 24 Oct 2023 16:38:10 +0200},
biburl = {https://dblp.org/rec/conf/onward/Accattoli23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-12556,
author = {Beniamino Accattoli and
Ugo Dal Lago and
Gabriele Vanoni},
title = {A Log-Sensitive Encoding of Turing Machines in the {\(\lambda\)}-Calculus},
journal = {CoRR},
volume = {abs/2301.12556},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.12556},
doi = {10.48550/ARXIV.2301.12556},
eprinttype = {arXiv},
eprint = {2301.12556},
timestamp = {Wed, 01 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-12556.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-08161,
author = {Beniamino Accattoli and
Claudia Faggian and
Adrienne Lancelot},
title = {Normal Form Bisimulations By Value},
journal = {CoRR},
volume = {abs/2303.08161},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.08161},
doi = {10.48550/ARXIV.2303.08161},
eprinttype = {arXiv},
eprint = {2303.08161},
timestamp = {Mon, 20 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-08161.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-12261,
author = {Beniamino Accattoli and
Giulio Guerrieri and
Maico Leberle},
title = {Strong Call-by-Value and Multi Types},
journal = {CoRR},
volume = {abs/2309.12261},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.12261},
doi = {10.48550/ARXIV.2309.12261},
eprinttype = {arXiv},
eprint = {2309.12261},
timestamp = {Mon, 25 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-12261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-12515,
author = {Beniamino Accattoli and
Pablo Barenbaum},
title = {A Diamond Machine For Strong Evaluation},
journal = {CoRR},
volume = {abs/2309.12515},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.12515},
doi = {10.48550/ARXIV.2309.12515},
eprinttype = {arXiv},
eprint = {2309.12515},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-12515.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-18233,
author = {Beniamino Accattoli},
title = {Semantic Bound and Multi Types, Revisited},
journal = {CoRR},
volume = {abs/2311.18233},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.18233},
doi = {10.48550/ARXIV.2311.18233},
eprinttype = {arXiv},
eprint = {2311.18233},
timestamp = {Tue, 05 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-18233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AccattoliLV22,
author = {Beniamino Accattoli and
Ugo Dal Lago and
Gabriele Vanoni},
title = {Multi types and reasonable space},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {799--825},
year = {2022},
url = {https://doi.org/10.1145/3547650},
doi = {10.1145/3547650},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/AccattoliLV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AccattoliG22,
author = {Beniamino Accattoli and
Giulio Guerrieri},
title = {The theory of call-by-value solvability},
journal = {Proc. {ACM} Program. Lang.},
volume = {6},
number = {{ICFP}},
pages = {855--885},
year = {2022},
url = {https://doi.org/10.1145/3547652},
doi = {10.1145/3547652},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/AccattoliG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AccattoliL22,
author = {Beniamino Accattoli and
Maico Leberle},
editor = {Florin Manea and
Alex Simpson},
title = {Useful Open Call-By-Need},
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 = {4:1--4:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.CSL.2022.4},
doi = {10.4230/LIPICS.CSL.2022.4},
timestamp = {Thu, 27 Jan 2022 17:26:21 +0100},
biburl = {https://dblp.org/rec/conf/csl/AccattoliL22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AccattoliLV22,
author = {Beniamino Accattoli and
Ugo Dal Lago and
Gabriele Vanoni},
editor = {Christel Baier and
Dana Fisman},
title = {Reasonable Space for the {\(\lambda\)}-Calculus, Logarithmically},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {47:1--47:13},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3533362},
doi = {10.1145/3531130.3533362},
timestamp = {Tue, 09 Aug 2022 12:30:54 +0200},
biburl = {https://dblp.org/rec/conf/lics/AccattoliLV22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Accattoli22,
author = {Beniamino Accattoli},
editor = {Christel Baier and
Dana Fisman},
title = {Exponentials as Substitutions and the Cost of Cut Elimination in Linear
Logic},
booktitle = {{LICS} '22: 37th Annual {ACM/IEEE} Symposium on Logic in Computer
Science, Haifa, Israel, August 2 - 5, 2022},
pages = {49:1--49:15},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3531130.3532445},
doi = {10.1145/3531130.3532445},
timestamp = {Tue, 09 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/Accattoli22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-03079,
author = {Beniamino Accattoli and
Giulio Guerrieri},
title = {Call-by-Value Solvability and Multi Types},
journal = {CoRR},
volume = {abs/2202.03079},
year = {2022},
url = {https://arxiv.org/abs/2202.03079},
eprinttype = {arXiv},
eprint = {2202.03079},
timestamp = {Wed, 09 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-03079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-00362,
author = {Beniamino Accattoli and
Ugo Dal Lago and
Gabriele Vanoni},
title = {Reasonable Space for the {\(\lambda\)}-Calculus, Logarithmically},
journal = {CoRR},
volume = {abs/2203.00362},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.00362},
doi = {10.48550/ARXIV.2203.00362},
eprinttype = {arXiv},
eprint = {2203.00362},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-00362.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-15203,
author = {Beniamino Accattoli},
title = {Exponentials as Substitutions and the Cost of Cut Elimination in Linear
Logic},
journal = {CoRR},
volume = {abs/2205.15203},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.15203},
doi = {10.48550/ARXIV.2205.15203},
eprinttype = {arXiv},
eprint = {2205.15203},
timestamp = {Wed, 01 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-15203.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-08697,
author = {Beniamino Accattoli and
Giulio Guerrieri},
title = {The Theory of Call-by-Value Solvability (long version)},
journal = {CoRR},
volume = {abs/2207.08697},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.08697},
doi = {10.48550/ARXIV.2207.08697},
eprinttype = {arXiv},
eprint = {2207.08697},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-08697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-08795,
author = {Beniamino Accattoli and
Ugo Dal Lago and
Gabriele Vanoni},
title = {Multi Types and Reasonable Space (Long Version)},
journal = {CoRR},
volume = {abs/2207.08795},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.08795},
doi = {10.48550/ARXIV.2207.08795},
eprinttype = {arXiv},
eprint = {2207.08795},
timestamp = {Tue, 19 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-08795.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/AccattoliLV21,
author = {Beniamino Accattoli and
Ugo Dal Lago and
Gabriele Vanoni},
title = {The (In)Efficiency of interaction},
journal = {Proc. {ACM} Program. Lang.},
volume = {5},
number = {{POPL}},
pages = {1--33},
year = {2021},
url = {https://doi.org/10.1145/3434332},
doi = {10.1145/3434332},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/AccattoliLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AccattoliFG21,
author = {Beniamino Accattoli and
Claudia Faggian and
Giulio Guerrieri},
editor = {Christel Baier and
Jean Goubault{-}Larrecq},
title = {Factorize Factorization},
booktitle = {29th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2021,
January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)},
series = {LIPIcs},
volume = {183},
pages = {6:1--6:25},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2021},
url = {https://doi.org/10.4230/LIPIcs.CSL.2021.6},
doi = {10.4230/LIPICS.CSL.2021.6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/AccattoliFG21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AccattoliCC21,
author = {Beniamino Accattoli and
Andrea Condoluci and
Claudio Sacerdoti Coen},
title = {Strong Call-by-Value is Reasonable, Implosively},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--14},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470630},
doi = {10.1109/LICS52264.2021.9470630},
timestamp = {Fri, 09 Jul 2021 14:04:16 +0200},
biburl = {https://dblp.org/rec/conf/lics/AccattoliCC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AccattoliLV21,
author = {Beniamino Accattoli and
Ugo Dal Lago and
Gabriele Vanoni},
title = {The Space of Interaction},
booktitle = {36th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2021, Rome, Italy, June 29 - July 2, 2021},
pages = {1--13},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LICS52264.2021.9470726},
doi = {10.1109/LICS52264.2021.9470726},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/AccattoliLV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-06928,
author = {Beniamino Accattoli and
Andrea Condoluci and
Claudio Sacerdoti Coen},
title = {Strong Call-by-Value is Reasonable, Implosively},
journal = {CoRR},
volume = {abs/2102.06928},
year = {2021},
url = {https://arxiv.org/abs/2102.06928},
eprinttype = {arXiv},
eprint = {2102.06928},
timestamp = {Thu, 18 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-06928.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13795,
author = {Beniamino Accattoli and
Ugo Dal Lago and
Gabriele Vanoni},
title = {The Space of Interaction (long version)},
journal = {CoRR},
volume = {abs/2104.13795},
year = {2021},
url = {https://arxiv.org/abs/2104.13795},
eprinttype = {arXiv},
eprint = {2104.13795},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13795.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-13979,
author = {Beniamino Accattoli and
Giulio Guerrieri and
Maico Leberle},
title = {Semantic Bounds and Strong Call-by-Value Normalization},
journal = {CoRR},
volume = {abs/2104.13979},
year = {2021},
url = {https://arxiv.org/abs/2104.13979},
eprinttype = {arXiv},
eprint = {2104.13979},
timestamp = {Tue, 04 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-13979.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-06591,
author = {Beniamino Accattoli and
Maico Leberle},
title = {Useful Open Call-by-Need},
journal = {CoRR},
volume = {abs/2107.06591},
year = {2021},
url = {https://arxiv.org/abs/2107.06591},
eprinttype = {arXiv},
eprint = {2107.06591},
timestamp = {Wed, 21 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-06591.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}
}
@inproceedings{DBLP:conf/flops/AccattoliD20,
author = {Beniamino Accattoli and
Alejandro D{\'{\i}}az{-}Caro},
editor = {Keisuke Nakano and
Konstantinos Sagonas},
title = {Functional Pearl: The Distributive {\(\lambda\)}-Calculus},
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 = {33--49},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-59025-3\_3},
doi = {10.1007/978-3-030-59025-3\_3},
timestamp = {Thu, 26 Nov 2020 15:44:21 +0100},
biburl = {https://dblp.org/rec/conf/flops/AccattoliD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AccattoliLV20,
author = {Beniamino Accattoli and
Ugo Dal Lago and
Gabriele Vanoni},
title = {The Machinery of Interaction},
booktitle = {{PPDP} '20: 22nd International Symposium on Principles and Practice
of Declarative Programming, Bologna, Italy, 9-10 September, 2020},
pages = {4:1--4:15},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3414080.3414108},
doi = {10.1145/3414080.3414108},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/AccattoliLV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-05649,
author = {Ugo Dal Lago and
Beniamino Accattoli and
Gabriele Vanoni},
title = {The Abstract Machinery of Interaction (Long Version)},
journal = {CoRR},
volume = {abs/2002.05649},
year = {2020},
url = {https://arxiv.org/abs/2002.05649},
eprinttype = {arXiv},
eprint = {2002.05649},
timestamp = {Fri, 14 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-05649.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-07944,
author = {Beniamino Accattoli and
Alejandro D{\'{\i}}az{-}Caro},
title = {Functional Pearl: The Distributive {\(\lambda\)}-Calculus},
journal = {CoRR},
volume = {abs/2002.07944},
year = {2020},
url = {https://arxiv.org/abs/2002.07944},
eprinttype = {arXiv},
eprint = {2002.07944},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-07944.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-01808,
author = {Beniamino Accattoli and
Claudia Faggian and
Giulio Guerrieri},
title = {Factorize Factorization},
journal = {CoRR},
volume = {abs/2005.01808},
year = {2020},
url = {https://arxiv.org/abs/2005.01808},
eprinttype = {arXiv},
eprint = {2005.01808},
timestamp = {Fri, 08 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-01808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-12988,
author = {Beniamino Accattoli and
Ugo Dal Lago and
Gabriele Vanoni},
title = {The (In)Efficiency of Interaction},
journal = {CoRR},
volume = {abs/2010.12988},
year = {2020},
url = {https://arxiv.org/abs/2010.12988},
eprinttype = {arXiv},
eprint = {2010.12988},
timestamp = {Mon, 02 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-12988.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AccattoliG19,
author = {Beniamino Accattoli and
Giulio Guerrieri},
title = {Abstract machines for Open Call-by-Value},
journal = {Sci. Comput. Program.},
volume = {184},
year = {2019},
url = {https://doi.org/10.1016/j.scico.2019.03.002},
doi = {10.1016/J.SCICO.2019.03.002},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AccattoliG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AccattoliFG19,
author = {Beniamino Accattoli and
Claudia Faggian and
Giulio Guerrieri},
editor = {Anthony Widjaja Lin},
title = {Factorization and Normalization, Essentially},
booktitle = {Programming Languages and Systems - 17th Asian Symposium, {APLAS}
2019, Nusa Dua, Bali, Indonesia, December 1-4, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11893},
pages = {159--180},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-34175-6\_9},
doi = {10.1007/978-3-030-34175-6\_9},
timestamp = {Sat, 09 Apr 2022 12:39:28 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AccattoliFG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AccattoliGL19,
author = {Beniamino Accattoli and
Giulio Guerrieri and
Maico Leberle},
editor = {Lu{\'{\i}}s Caires},
title = {Types by Need},
booktitle = {Programming Languages and Systems - 28th European Symposium on Programming,
{ESOP} 2019, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April
6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11423},
pages = {410--439},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17184-1\_15},
doi = {10.1007/978-3-030-17184-1\_15},
timestamp = {Fri, 31 Jan 2020 21:32:28 +0100},
biburl = {https://dblp.org/rec/conf/esop/AccattoliGL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AccattoliCGC19,
author = {Beniamino Accattoli and
Andrea Condoluci and
Giulio Guerrieri and
Claudio Sacerdoti Coen},
editor = {Ekaterina Komendantskaya},
title = {Crumbling Abstract Machines},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {4:1--4:15},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354169},
doi = {10.1145/3354166.3354169},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/AccattoliCGC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CondoluciAC19,
author = {Andrea Condoluci and
Beniamino Accattoli and
Claudio Sacerdoti Coen},
editor = {Ekaterina Komendantskaya},
title = {Sharing Equality is Linear},
booktitle = {Proceedings of the 21st International Symposium on Principles and
Practice of Programming Languages, {PPDP} 2019, Porto, Portugal, October
7-9, 2019},
pages = {9:1--9:14},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3354166.3354174},
doi = {10.1145/3354166.3354174},
timestamp = {Thu, 26 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/CondoluciAC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Accattoli19,
author = {Beniamino Accattoli},
editor = {Herman Geuvers},
title = {A Fresh Look at the lambda-Calculus (Invited Talk)},
booktitle = {4th International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2019, June 24-30, 2019, Dortmund, Germany},
series = {LIPIcs},
volume = {131},
pages = {1:1--1:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2019.1},
doi = {10.4230/LIPICS.FSCD.2019.1},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Accattoli19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lsfa/2018,
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
publisher = {Elsevier},
year = {2019},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/344/suppl/C},
timestamp = {Wed, 05 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lsfa/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-05945,
author = {Beniamino Accattoli and
Giulio Guerrieri and
Maico Leberle},
title = {Types by Need (Extended Version)},
journal = {CoRR},
volume = {abs/1902.05945},
year = {2019},
url = {http://arxiv.org/abs/1902.05945},
eprinttype = {arXiv},
eprint = {1902.05945},
timestamp = {Tue, 21 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-05945.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-06057,
author = {Beniamino Accattoli and
Andrea Condoluci and
Giulio Guerrieri and
Claudio Sacerdoti Coen},
title = {Crumbling Abstract Machines},
journal = {CoRR},
volume = {abs/1907.06057},
year = {2019},
url = {http://arxiv.org/abs/1907.06057},
eprinttype = {arXiv},
eprint = {1907.06057},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-06057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-06101,
author = {Andrea Condoluci and
Beniamino Accattoli and
Claudio Sacerdoti Coen},
title = {Sharing Equality is Linear},
journal = {CoRR},
volume = {abs/1907.06101},
year = {2019},
url = {http://arxiv.org/abs/1907.06101},
eprinttype = {arXiv},
eprint = {1907.06101},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-06101.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-11289,
author = {Beniamino Accattoli and
Claudia Faggian and
Giulio Guerrieri},
title = {Factorization and Normalization, Essentially},
journal = {CoRR},
volume = {abs/1908.11289},
year = {2019},
url = {http://arxiv.org/abs/1908.11289},
eprinttype = {arXiv},
eprint = {1908.11289},
timestamp = {Wed, 04 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-11289.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/aplas/AccattoliG18,
author = {Beniamino Accattoli and
Giulio Guerrieri},
editor = {Sukyoung Ryu},
title = {Types of Fireballs},
booktitle = {Programming Languages and Systems - 16th Asian Symposium, {APLAS}
2018, Wellington, New Zealand, December 2-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11275},
pages = {45--66},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02768-1\_3},
doi = {10.1007/978-3-030-02768-1\_3},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AccattoliG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/Accattoli18,
author = {Beniamino Accattoli},
editor = {Bernd Fischer and
Tarmo Uustalu},
title = {Proof Nets and the Linear Substitution Calculus},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2018 - 15th International
Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11187},
pages = {37--61},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02508-3\_3},
doi = {10.1007/978-3-030-02508-3\_3},
timestamp = {Mon, 16 Sep 2019 15:27:43 +0200},
biburl = {https://dblp.org/rec/conf/ictac/Accattoli18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AccattoliO19,
author = {Beniamino Accattoli and
Carlos Olarte},
editor = {Beniamino Accattoli and
Carlos Olarte},
title = {Preface},
booktitle = {Proceedings of the 13th Workshop on Logical and Semantic Frameworks
with Applications, {LSFA} 2018, Fortaleza, Brazil, September 26-28,
2018},
series = {Electronic Notes in Theoretical Computer Science},
volume = {344},
pages = {1--2},
publisher = {Elsevier},
year = {2018},
url = {https://doi.org/10.1016/j.entcs.2019.07.001},
doi = {10.1016/J.ENTCS.2019.07.001},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/AccattoliO19.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-1808-03395,
author = {Beniamino Accattoli},
title = {Proof Nets and the Linear Substitution Calculus},
journal = {CoRR},
volume = {abs/1808.03395},
year = {2018},
url = {http://arxiv.org/abs/1808.03395},
eprinttype = {arXiv},
eprint = {1808.03395},
timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-03395.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-10389,
author = {Beniamino Accattoli and
Giulio Guerrieri},
title = {Types of Fireballs (Extended Version)},
journal = {CoRR},
volume = {abs/1808.10389},
year = {2018},
url = {http://arxiv.org/abs/1808.10389},
eprinttype = {arXiv},
eprint = {1808.10389},
timestamp = {Mon, 03 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-10389.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AccattoliC17,
author = {Beniamino Accattoli and
Claudio Sacerdoti Coen},
title = {On the value of variables},
journal = {Inf. Comput.},
volume = {255},
pages = {224--242},
year = {2017},
url = {https://doi.org/10.1016/j.ic.2017.01.003},
doi = {10.1016/J.IC.2017.01.003},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AccattoliC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AccattoliB17,
author = {Beniamino Accattoli and
Bruno Barras},
editor = {Bor{-}Yuh Evan Chang},
title = {The Negligible and Yet Subtle Cost of Pattern Matching},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {426--447},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_21},
doi = {10.1007/978-3-319-71237-6\_21},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AccattoliB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsen/AccattoliG17,
author = {Beniamino Accattoli and
Giulio Guerrieri},
editor = {Mehdi Dastani and
Marjan Sirjani},
title = {Implementing Open Call-by-Value},
booktitle = {Fundamentals of Software Engineering - 7th International Conference,
{FSEN} 2017, Tehran, Iran, April 26-28, 2017, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10522},
pages = {1--19},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68972-2\_1},
doi = {10.1007/978-3-319-68972-2\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/fsen/AccattoliG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/AccattoliB17,
author = {Beniamino Accattoli and
Bruno Barras},
editor = {Wim Vanhoof and
Brigitte Pientka},
title = {Environments and the complexity of abstract machines},
booktitle = {Proceedings of the 19th International Symposium on Principles and
Practice of Declarative Programming, Namur, Belgium, October 09 -
11, 2017},
pages = {4--16},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131851.3131855},
doi = {10.1145/3131851.3131855},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/AccattoliB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Accattoli18,
author = {Beniamino Accattoli},
editor = {Sandra Alves and
Renata Wasserman},
title = {(In)Efficiency and Reasonable Cost Models},
booktitle = {12th Workshop on Logical and Semantic Frameworks, with Applications,
{LSFA} 2017, Bras{\'{\i}}lia, Brazil, September 23-24, 2017},
series = {Electronic Notes in Theoretical Computer Science},
volume = {338},
pages = {23--43},
publisher = {Elsevier},
year = {2017},
url = {https://doi.org/10.1016/j.entcs.2018.10.003},
doi = {10.1016/J.ENTCS.2018.10.003},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/Accattoli18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AccattoliG17,
author = {Beniamino Accattoli and
Giulio Guerrieri},
title = {Implementing Open Call-by-Value (Extended Version)},
journal = {CoRR},
volume = {abs/1701.08186},
year = {2017},
url = {http://arxiv.org/abs/1701.08186},
eprinttype = {arXiv},
eprint = {1701.08186},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AccattoliG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-10078,
author = {Ugo Dal Lago and
Beniamino Accattoli},
title = {Encoding Turing Machines into the Deterministic Lambda-Calculus},
journal = {CoRR},
volume = {abs/1711.10078},
year = {2017},
url = {http://arxiv.org/abs/1711.10078},
eprinttype = {arXiv},
eprint = {1711.10078},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10078.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-10301,
author = {Beniamino Accattoli},
title = {The Maximal MAM, a Reasonable Implementation of the Maximal Strategy},
journal = {CoRR},
volume = {abs/1711.10301},
year = {2017},
url = {http://arxiv.org/abs/1711.10301},
eprinttype = {arXiv},
eprint = {1711.10301},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-10301.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AccattoliL16,
author = {Beniamino Accattoli and
Ugo Dal Lago},
title = {(Leftmost-Outermost) Beta Reduction is Invariant, Indeed},
journal = {Log. Methods Comput. Sci.},
volume = {12},
number = {1},
year = {2016},
url = {https://doi.org/10.2168/LMCS-12(1:4)2016},
doi = {10.2168/LMCS-12(1:4)2016},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AccattoliL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AccattoliG16,
author = {Beniamino Accattoli and
Giulio Guerrieri},
editor = {Atsushi Igarashi},
title = {Open Call-by-Value},
booktitle = {Programming Languages and Systems - 14th Asian Symposium, {APLAS}
2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10017},
pages = {206--226},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47958-3\_12},
doi = {10.1007/978-3-319-47958-3\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/AccattoliG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/Accattoli16,
author = {Beniamino Accattoli},
editor = {Jouko A. V{\"{a}}{\"{a}}n{\"{a}}nen and
{\AA}sa Hirvonen and
Ruy J. G. B. de Queiroz},
title = {The Useful MAM, a Reasonable Implementation of the Strong {\(\lambda\)}-Calculus},
booktitle = {Logic, Language, Information, and Computation - 23rd International
Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9803},
pages = {1--21},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-52921-8\_1},
doi = {10.1007/978-3-662-52921-8\_1},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/Accattoli16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Accattoli17,
author = {Beniamino Accattoli},
editor = {Horatiu Cirstea and
Santiago Escobar},
title = {The Complexity of Abstract Machines},
booktitle = {Proceedings Third International Workshop on Rewriting Techniques for
Program Transformations and Evaluation, WPTE@FSCD 2016, Porto, Portugal,
23rd June 2016},
series = {{EPTCS}},
volume = {235},
pages = {1--15},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.235.1},
doi = {10.4204/EPTCS.235.1},
timestamp = {Tue, 10 Nov 2020 12:25:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/Accattoli17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AccattoliG16,
author = {Beniamino Accattoli and
Giulio Guerrieri},
title = {Open Call-by-Value (Extended Version)},
journal = {CoRR},
volume = {abs/1609.00322},
year = {2016},
url = {http://arxiv.org/abs/1609.00322},
eprinttype = {arXiv},
eprint = {1609.00322},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AccattoliG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Accattoli15,
author = {Beniamino Accattoli},
title = {Proof nets and the call-by-value {\(\lambda\)}-calculus},
journal = {Theor. Comput. Sci.},
volume = {606},
pages = {2--24},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.08.006},
doi = {10.1016/J.TCS.2015.08.006},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Accattoli15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AccattoliBM15,
author = {Beniamino Accattoli and
Pablo Barenbaum and
Damiano Mazza},
editor = {Xinyu Feng and
Sungwoo Park},
title = {A Strong Distillery},
booktitle = {Programming Languages and Systems - 13th Asian Symposium, {APLAS}
2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9458},
pages = {231--250},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26529-2\_13},
doi = {10.1007/978-3-319-26529-2\_13},
timestamp = {Fri, 04 Mar 2022 17:17:35 +0100},
biburl = {https://dblp.org/rec/conf/aplas/AccattoliBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AccattoliC15,
author = {Beniamino Accattoli and
Claudio Sacerdoti Coen},
title = {On the Relative Usefulness of Fireballs},
booktitle = {30th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2015, Kyoto, Japan, July 6-10, 2015},
pages = {141--155},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/LICS.2015.23},
doi = {10.1109/LICS.2015.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AccattoliC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AccattoliC15,
author = {Beniamino Accattoli and
Claudio Sacerdoti Coen},
title = {On the Relative Usefulness of Fireballs},
journal = {CoRR},
volume = {abs/1505.03791},
year = {2015},
url = {http://arxiv.org/abs/1505.03791},
eprinttype = {arXiv},
eprint = {1505.03791},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AccattoliC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AccattoliBM15,
author = {Beniamino Accattoli and
Pablo Barenbaum and
Damiano Mazza},
title = {A Strong Distillery},
journal = {CoRR},
volume = {abs/1509.00996},
year = {2015},
url = {http://arxiv.org/abs/1509.00996},
eprinttype = {arXiv},
eprint = {1509.00996},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AccattoliBM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/AccattoliL14,
author = {Beniamino Accattoli and
Ugo Dal Lago},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Beta reduction is invariant, indeed},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {8:1--8:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603105},
doi = {10.1145/2603088.2603105},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/AccattoliL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfp/AccattoliBM14,
author = {Beniamino Accattoli and
Pablo Barenbaum and
Damiano Mazza},
editor = {Johan Jeuring and
Manuel M. T. Chakravarty},
title = {Distilling abstract machines},
booktitle = {Proceedings of the 19th {ACM} {SIGPLAN} international conference on
Functional programming, Gothenburg, Sweden, September 1-3, 2014},
pages = {363--376},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2628136.2628154},
doi = {10.1145/2628136.2628154},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/icfp/AccattoliBM14.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}
}
@inproceedings{DBLP:conf/wollic/AccattoliC14,
author = {Beniamino Accattoli and
Claudio Sacerdoti Coen},
editor = {Ulrich Kohlenbach and
Pablo Barcel{\'{o}} and
Ruy J. G. B. de Queiroz},
title = {On the Value of Variables},
booktitle = {Logic, Language, Information, and Computation - 21st International
Workshop, WoLLIC 2014, Valpara{\'{\i}}so, Chile, September 1-4,
2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8652},
pages = {36--50},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-44145-9\_3},
doi = {10.1007/978-3-662-44145-9\_3},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wollic/AccattoliC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AccattoliL14,
author = {Beniamino Accattoli and
Ugo Dal Lago},
title = {Beta Reduction is Invariant, Indeed (Long Version)},
journal = {CoRR},
volume = {abs/1405.3311},
year = {2014},
url = {http://arxiv.org/abs/1405.3311},
eprinttype = {arXiv},
eprint = {1405.3311},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AccattoliL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AccattoliBM14,
author = {Beniamino Accattoli and
Pablo Barenbaum and
Damiano Mazza},
title = {Distilling Abstract Machines (Long Version)},
journal = {CoRR},
volume = {abs/1406.2370},
year = {2014},
url = {http://arxiv.org/abs/1406.2370},
eprinttype = {arXiv},
eprint = {1406.2370},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AccattoliBM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/Accattoli13,
author = {Beniamino Accattoli},
title = {Compressing Polarized Boxes},
booktitle = {28th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2013, New Orleans, LA, USA, June 25-28, 2013},
pages = {428--437},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/LICS.2013.49},
doi = {10.1109/LICS.2013.49},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/Accattoli13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/Accattoli13,
author = {Beniamino Accattoli},
editor = {Femke van Raamsdonk},
title = {Linear Logic and Strong Normalization},
booktitle = {24th International Conference on Rewriting Techniques and Applications,
{RTA} 2013, June 24-26, 2013, Eindhoven, The Netherlands},
series = {LIPIcs},
volume = {21},
pages = {39--54},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.RTA.2013.39},
doi = {10.4230/LIPICS.RTA.2013.39},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Accattoli13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1302-6337,
author = {Beniamino Accattoli},
editor = {Rachid Echahed and
Detlef Plump},
title = {Evaluating functions as processes},
booktitle = {Proceedings 7th International Workshop on Computing with Terms and
Graphs, {TERMGRAPH} 2013, Rome, Italy, 23th March 2013},
series = {{EPTCS}},
volume = {110},
pages = {41--55},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.110.6},
doi = {10.4204/EPTCS.110.6},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-6337.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/cpp/Accattoli12,
author = {Beniamino Accattoli},
editor = {Chris Hawblitzel and
Dale Miller},
title = {Proof Pearl: Abella Formalization of {\(\lambda\)}-Calculus Cube Property},
booktitle = {Certified Programs and Proofs - Second International Conference, {CPP}
2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7679},
pages = {173--187},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35308-6\_15},
doi = {10.1007/978-3-642-35308-6\_15},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/cpp/Accattoli12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/AccattoliP12,
author = {Beniamino Accattoli and
Luca Paolini},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {Call-by-Value Solvability, Revisited},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {4--16},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_4},
doi = {10.1007/978-3-642-29822-6\_4},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/flops/AccattoliP12.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/Accattoli12,
author = {Beniamino Accattoli},
editor = {Ashish Tiwari},
title = {An Abstract Factorization Theorem for Explicit Substitutions},
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 = {6--21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.RTA.2012.6},
doi = {10.4230/LIPICS.RTA.2012.6},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/Accattoli12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/AccattoliL12,
author = {Beniamino Accattoli and
Ugo Dal Lago},
editor = {Ashish Tiwari},
title = {On the Invariance of the Unitary Cost Model for Head Reduction},
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 = {22--37},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.RTA.2012.22},
doi = {10.4230/LIPICS.RTA.2012.22},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rta/AccattoliL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1303-7326,
author = {Beniamino Accattoli},
editor = {Delia Kesner and
Petrucio Viana},
title = {Proof nets and the call-by-value lambda-calculus},
booktitle = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with
Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30,
2012},
series = {{EPTCS}},
volume = {113},
pages = {11--26},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.113.5},
doi = {10.4204/EPTCS.113.5},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-7326.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1202-1641,
author = {Beniamino Accattoli and
Ugo Dal Lago},
title = {On the Invariance of the Unitary Cost Model for Head Reduction (Long
Version)},
journal = {CoRR},
volume = {abs/1202.1641},
year = {2012},
url = {http://arxiv.org/abs/1202.1641},
eprinttype = {arXiv},
eprint = {1202.1641},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1202-1641.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:conf/csl/AccattoliG09,
author = {Beniamino Accattoli and
Stefano Guerrini},
editor = {Erich Gr{\"{a}}del and
Reinhard Kahle},
title = {Jumping Boxes},
booktitle = {Computer Science Logic, 23rd international Workshop, {CSL} 2009, 18th
Annual Conference of the EACSL, Coimbra, Portugal, September 7-11,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5771},
pages = {55--70},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04027-6\_7},
doi = {10.1007/978-3-642-04027-6\_7},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/AccattoliG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-15 20:47 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:
