Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Simone Martini 0001
@book{DBLP:series/utcs/GabbrielliMG23,
author = {Maurizio Gabbrielli and
Simone Martini and
Saverio Giallorenzo},
title = {Programming Languages: Principles and Paradigms, Second Edition},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-34144-1},
doi = {10.1007/978-3-031-34144-1},
isbn = {978-3-031-34143-4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/utcs/GabbrielliMG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/LodiS022,
author = {Michael Lodi and
Marco Sbaraglia and
Simone Martini},
editor = {Brett A. Becker and
Keith Quille and
Mikko{-}Jussi Laakso and
Erik Barendsen and
Simon},
title = {Cryptography in Grade 10: Core Ideas with Snap! and Unplugged},
booktitle = {ITiCSE 2022: Innovation and Technology in Computer Science Education,
Dublin, Ireland, July 8 - 13, 2022, Volume 1},
pages = {456--462},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3502718.3524767},
doi = {10.1145/3502718.3524767},
timestamp = {Mon, 11 Jul 2022 16:32:41 +0200},
biburl = {https://dblp.org/rec/conf/iticse/LodiS022.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iie/SbaragliaLM21,
author = {Marco Sbaraglia and
Michael Lodi and
Simone Martini},
title = {A Necessity-Driven Ride on the Abstraction Rollercoaster of {CS1}
Programming},
journal = {Informatics Educ.},
volume = {20},
number = {4},
pages = {641--682},
year = {2021},
url = {https://doi.org/10.15388/infedu.2021.28},
doi = {10.15388/INFEDU.2021.28},
timestamp = {Tue, 11 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iie/SbaragliaLM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MartiniMZ21,
author = {Simone Martini and
Andrea Masini and
Margherita Zorzi},
title = {From 2-Sequents and Linear Nested Sequents to Natural Deduction for
Normal Modal Logics},
journal = {{ACM} Trans. Comput. Log.},
volume = {22},
number = {3},
pages = {19:1--19:29},
year = {2021},
url = {https://doi.org/10.1145/3461661},
doi = {10.1145/3461661},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/MartiniMZ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/goodit/LodiSZ021,
author = {Michael Lodi and
Marco Sbaraglia and
Stefano Pio Zingaro and
Simone Martini},
editor = {Ombretta Gaggi and
Pietro Manzoni and
Claudio E. Palazzi},
title = {The Online Course Was Great: {I} Would Attend It Face-to-Face: The
Good, The Bad, and the Ugly of {IT} in Emergency Remote Teaching of
{CS1}},
booktitle = {GoodIT '21: Conference on Information Technology for Social Good,
Roma, Italy, September 9-11, 2021},
pages = {242--247},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3462203.3475902},
doi = {10.1145/3462203.3475902},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/goodit/LodiSZ021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/SbaragliaLZ021,
author = {Marco Sbaraglia and
Michael Lodi and
Stefano Pio Zingaro and
Simone Martini},
editor = {Carsten Schulte and
Brett A. Becker and
Monica Divitini and
Erik Barendsen},
title = {The Good, The Bad, and The Ugly of a Synchronous Online {CS1}},
booktitle = {ITiCSE '21: Proceedings of the 26th {ACM} Conference on Innovation
and Technology in Computer Science Education V.2, Virtual Event, Germany,
June 26 - July 1, 2021},
pages = {660},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3456565.3460075},
doi = {10.1145/3456565.3460075},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iticse/SbaragliaLZ021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-10437,
author = {Michael Lodi and
Marco Sbaraglia and
Simone Martini},
title = {Online Unplugged and Block-Based Cryptography in Grade 10},
journal = {CoRR},
volume = {abs/2112.10437},
year = {2021},
url = {https://arxiv.org/abs/2112.10437},
eprinttype = {arXiv},
eprint = {2112.10437},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-10437.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/000120,
author = {Simone Martini},
editor = {Frank S. de Boer and
Jacopo Mauro},
title = {The Standard Model for Programming Languages: The Birth of a Mathematical
Theory of Computation},
booktitle = {Recent Developments in the Design and Implementation of Programming
Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy},
series = {OASIcs},
volume = {86},
pages = {8:1--8:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.Gabbrielli.8},
doi = {10.4230/OASICS.GABBRIELLI.8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/000120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-02029,
author = {Simone Martini and
Andrea Masini and
Margherita Zorzi},
title = {A journey in modal proof theory: From minimal normal modal logic to
discrete linear temporal logic},
journal = {CoRR},
volume = {abs/2001.02029},
year = {2020},
url = {http://arxiv.org/abs/2001.02029},
eprinttype = {arXiv},
eprint = {2001.02029},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-02029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-11875,
author = {Simone Martini and
Andrea Masini and
Margherita Zorzi},
title = {From 2-sequents and Linear Nested Sequents to Natural Deduction for
Normal Modal Logics},
journal = {CoRR},
volume = {abs/2007.11875},
year = {2020},
url = {https://arxiv.org/abs/2007.11875},
eprinttype = {arXiv},
eprint = {2007.11875},
timestamp = {Wed, 29 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-11875.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issep/BorchiaCCFLM18,
author = {Roberto Borchia and
Antonella Carbonaro and
Giorgio Casadei and
Luca Forlizzi and
Michael Lodi and
Simone Martini},
editor = {Sergei N. Pozdniakov and
Valentina Dagiene},
title = {Problem Solving Olympics: An Inclusive Education Model for Learning
Informatics},
booktitle = {Informatics in Schools. Fundamentals of Computer Science and Software
Engineering - 11th International Conference on Informatics in Schools:
Situation, Evolution, and Perspectives, {ISSEP} 2018, St. Petersburg,
Russia, October 10-12, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11169},
pages = {319--335},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02750-6\_25},
doi = {10.1007/978-3-030-02750-6\_25},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issep/BorchiaCCFLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Guerrini0M17,
author = {Stefano Guerrini and
Simone Martini and
Andrea Masini},
title = {Quantum Turing Machines Computations and Measurements},
journal = {CoRR},
volume = {abs/1703.07748},
year = {2017},
url = {http://arxiv.org/abs/1703.07748},
eprinttype = {arXiv},
eprint = {1703.07748},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Guerrini0M17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/LagoMS16,
author = {Ugo Dal Lago and
Simone Martini and
Davide Sangiorgi},
title = {Light logics and higher-order processes},
journal = {Math. Struct. Comput. Sci.},
volume = {26},
number = {6},
pages = {969--992},
year = {2016},
url = {https://doi.org/10.1017/S0960129514000310},
doi = {10.1017/S0960129514000310},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/LagoMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/Martini16,
author = {Simone Martini},
editor = {Arnold Beckmann and
Laurent Bienvenu and
Natasa Jonoska},
title = {Types in Programming Languages, Between Modelling, Abstraction, and
Correctness - Extended Abstract},
booktitle = {Pursuit of the Universal - 12th Conference on Computability in Europe,
CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9709},
pages = {164--169},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-40189-8\_17},
doi = {10.1007/978-3-319-40189-8\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/cie/Martini16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hapoc/Martini15,
author = {Simone Martini},
editor = {Fabio Gadducci and
Mirko Tavosanis},
title = {Several Types of Types in Programming Languages},
booktitle = {History and Philosophy of Computing - Third International Conference,
HaPoC 2015, Pisa, Italy, October 8-11, 2015, Revised Selected Papers},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {487},
pages = {216--227},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-47286-7\_15},
doi = {10.1007/978-3-319-47286-7\_15},
timestamp = {Tue, 23 May 2017 01:11:57 +0200},
biburl = {https://dblp.org/rec/conf/hapoc/Martini15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GuerriniMM15,
author = {Stefano Guerrini and
Simone Martini and
Andrea Masini},
title = {Towards {A} Theory Of Quantum Computability},
journal = {CoRR},
volume = {abs/1504.02817},
year = {2015},
url = {http://arxiv.org/abs/1504.02817},
eprinttype = {arXiv},
eprint = {1504.02817},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GuerriniMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Martini15,
author = {Simone Martini},
title = {Several types of types in programming languages},
journal = {CoRR},
volume = {abs/1510.03726},
year = {2015},
url = {http://arxiv.org/abs/1510.03726},
eprinttype = {arXiv},
eprint = {1510.03726},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Martini15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-0515,
author = {Ugo Dal Lago and
Simone Martini},
title = {On Constructor Rewrite Systems and the Lambda Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {3},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(3:12)2012},
doi = {10.2168/LMCS-8(3:12)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-0515.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/GabbrielliM10,
author = {Maurizio Gabbrielli and
Simone Martini},
title = {Programming Languages: Principles and Paradigms},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-1-84882-914-5},
doi = {10.1007/978-1-84882-914-5},
isbn = {978-1-84882-913-8},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/utcs/GabbrielliM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/KaminskiM10,
author = {Michael Kaminski and
Simone Martini},
title = {{CSL} 2008 special issue},
journal = {{ACM} Trans. Comput. Log.},
volume = {11},
number = {4},
pages = {21:1},
year = {2010},
url = {https://doi.org/10.1145/1805950.1805951},
doi = {10.1145/1805950.1805951},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/KaminskiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1011-6431,
author = {Ugo Dal Lago and
Simone Martini and
Davide Sangiorgi},
editor = {Sibylle B. Fr{\"{o}}schle and
Frank D. Valencia},
title = {Light Logics and Higher-Order Processes},
booktitle = {Proceedings 17th International Workshop on Expressiveness in Concurrency,
EXPRESS'10, Paris, France, August 30th, 2010},
series = {{EPTCS}},
volume = {41},
pages = {46--60},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.41.4},
doi = {10.4204/EPTCS.41.4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-6431.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1005-0521,
author = {Ugo Dal Lago and
Simone Martini and
Margherita Zorzi},
editor = {Patrick Baillot},
title = {General Ramified Recurrence is Sound for Polynomial Time},
booktitle = {Proceedings International Workshop on Developments in Implicit Computational
complExity, {DICE} 2010, Paphos, Cyprus, 27-28th March 2010},
series = {{EPTCS}},
volume = {23},
pages = {47--62},
year = {2010},
url = {https://doi.org/10.4204/EPTCS.23.4},
doi = {10.4204/EPTCS.23.4},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1005-0521.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/LagoM09,
author = {Ugo Dal Lago and
Simone Martini},
editor = {Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Derivational Complexity Is an Invariant Cost Model},
booktitle = {Foundational and Practical Aspects of Resource Analysis - First International
Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6324},
pages = {100--113},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-15331-0\_7},
doi = {10.1007/978-3-642-15331-0\_7},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fopara/LagoM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LagoM09,
author = {Ugo Dal Lago and
Simone Martini},
editor = {Susanne Albers and
Alberto Marchetti{-}Spaccamela and
Yossi Matias and
Sotiris E. Nikoletseas and
Wolfgang Thomas},
title = {On Constructor Rewrite Systems and the Lambda-Calculus},
booktitle = {Automata, Languages and Programming, 36th Internatilonal Colloquium,
{ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5556},
pages = {163--174},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02930-1\_14},
doi = {10.1007/978-3-642-02930-1\_14},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icalp/LagoM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-4120,
author = {Ugo Dal Lago and
Simone Martini},
title = {On Constructor Rewrite Systems and the Lambda-Calculus},
journal = {CoRR},
volume = {abs/0904.4120},
year = {2009},
url = {http://arxiv.org/abs/0904.4120},
eprinttype = {arXiv},
eprint = {0904.4120},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-4120.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LagoM08,
author = {Ugo Dal Lago and
Simone Martini},
title = {The weak lambda calculus as a reasonable machine},
journal = {Theor. Comput. Sci.},
volume = {398},
number = {1-3},
pages = {32--50},
year = {2008},
url = {https://doi.org/10.1016/j.tcs.2008.01.044},
doi = {10.1016/J.TCS.2008.01.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LagoM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2008,
editor = {Michael Kaminski and
Simone Martini},
title = {Computer Science Logic, 22nd International Workshop, {CSL} 2008, 17th
Annual Conference of the EACSL, Bertinoro, Italy, September 16-19,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5213},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87531-4},
doi = {10.1007/978-3-540-87531-4},
isbn = {978-3-540-87530-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/CoppolaM06,
author = {Paolo Coppola and
Simone Martini},
title = {Optimizing optimal reduction: {A} type inference algorithm for elementary
affine logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {7},
number = {2},
pages = {219--260},
year = {2006},
url = {https://doi.org/10.1145/1131313.1131315},
doi = {10.1145/1131313.1131315},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/CoppolaM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cie/LagoM06,
author = {Ugo Dal Lago and
Simone Martini},
editor = {Arnold Beckmann and
Ulrich Berger and
Benedikt L{\"{o}}we and
John V. Tucker},
title = {An Invariant Cost Model for the Lambda Calculus},
booktitle = {Logical Approaches to Computational Barriers, Second Conference on
Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3988},
pages = {105--114},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780342\_11},
doi = {10.1007/11780342\_11},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cie/LagoM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0511045,
author = {Ugo Dal Lago and
Simone Martini},
title = {An Invariant Cost Model for the Lambda Calculus},
journal = {CoRR},
volume = {abs/cs/0511045},
year = {2005},
url = {http://arxiv.org/abs/cs/0511045},
eprinttype = {arXiv},
eprint = {cs/0511045},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0511045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AspertiCM04,
author = {Andrea Asperti and
Paolo Coppola and
Simone Martini},
title = {(Optimal) duplication is not elementary recursive},
journal = {Inf. Comput.},
volume = {193},
number = {1},
pages = {21--56},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.05.001},
doi = {10.1016/J.IC.2004.05.001},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AspertiCM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LagoM04,
author = {Ugo Dal Lago and
Simone Martini},
title = {Phase semantics and decidability of elementary affine logic},
journal = {Theor. Comput. Sci.},
volume = {318},
number = {3},
pages = {409--433},
year = {2004},
url = {https://doi.org/10.1016/j.tcs.2004.02.037},
doi = {10.1016/J.TCS.2004.02.037},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LagoM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GuerriniMM03,
author = {Stefano Guerrini and
Simone Martini and
Andrea Masini},
title = {Coherence for sharing proof-nets},
journal = {Theor. Comput. Sci.},
volume = {294},
number = {3},
pages = {379--409},
year = {2003},
url = {https://doi.org/10.1016/S0304-3975(01)00162-1},
doi = {10.1016/S0304-3975(01)00162-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GuerriniMM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/LagoMR03,
author = {Ugo Dal Lago and
Simone Martini and
Luca Roversi},
editor = {Stefano Berardi and
Mario Coppo and
Ferruccio Damiani},
title = {Higher-Order Linear Ramified Recurrence},
booktitle = {Types for Proofs and Programs, International Workshop, {TYPES} 2003,
Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3085},
pages = {178--193},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24849-1\_12},
doi = {10.1007/978-3-540-24849-1\_12},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/types/LagoMR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-LO-0305011,
author = {Paolo Coppola and
Simone Martini},
title = {Optimizing Optimal Reduction: {A} Type Inference Algorithm for Elementary
Affine Logic},
journal = {CoRR},
volume = {cs.LO/0305011},
year = {2003},
url = {http://arxiv.org/abs/cs/0305011},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/cs-LO-0305011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GuerriniMM01,
author = {Stefano Guerrini and
Simone Martini and
Andrea Masini},
title = {Proof nets, garbage, and computations},
journal = {Theor. Comput. Sci.},
volume = {253},
number = {2},
pages = {185--237},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(00)00094-3},
doi = {10.1016/S0304-3975(00)00094-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GuerriniMM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/CoppolaM01,
author = {Paolo Coppola and
Simone Martini},
editor = {Samson Abramsky},
title = {Typing Lambda Terms in Elementary Logic with Linear Constraints},
booktitle = {Typed Lambda Calculi and Applications, 5th International Conference,
{TLCA} 2001, Krakow, Poland, May 2-5, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2044},
pages = {76--90},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45413-6\_10},
doi = {10.1007/3-540-45413-6\_10},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/CoppolaM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/AspertiCM00,
author = {Andrea Asperti and
Paolo Coppola and
Simone Martini},
editor = {Mark N. Wegman and
Thomas W. Reps},
title = {(Optimal) Duplication is not Elementary Recursive},
booktitle = {{POPL} 2000, Proceedings of the 27th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Boston, Massachusetts, USA,
January 19-21, 2000},
pages = {96--107},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/325694.325707},
doi = {10.1145/325694.325707},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/AspertiCM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GuerriniMM98,
author = {Stefano Guerrini and
Simone Martini and
Andrea Masini},
title = {An Analysis of (Linear) Exponentials Based on Extended Sequents},
journal = {Log. J. {IGPL}},
volume = {6},
number = {5},
pages = {735--753},
year = {1998},
url = {https://doi.org/10.1093/jigpal/6.5.735},
doi = {10.1093/JIGPAL/6.5.735},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GuerriniMM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MartiniM97,
author = {Simone Martini and
Andrea Masini},
title = {Experiments in Linear Natural Deduction},
journal = {Theor. Comput. Sci.},
volume = {176},
number = {1-2},
pages = {159--173},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00055-2},
doi = {10.1016/S0304-3975(96)00055-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MartiniM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/GuerriniMM97,
author = {Stefano Guerrini and
Simone Martini and
Andrea Masini},
editor = {Philippe de Groote},
title = {Proof Nets, Garbage, and Computations},
booktitle = {Typed Lambda Calculi and Applications, Third International Conference
on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France,
April 2-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1210},
pages = {181--195},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-62688-3\_36},
doi = {10.1007/3-540-62688-3\_36},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/tlca/GuerriniMM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/GuerriniMM96,
author = {Stefano Guerrini and
Simone Martini and
Andrea Masini},
editor = {Harald Ganzinger},
title = {Coherence for Sharing Proof Nets},
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 = {215--229},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61464-8\_54},
doi = {10.1007/3-540-61464-8\_54},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/rta/GuerriniMM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/BarbaneraM94,
author = {Franco Barbanera and
Simone Martini},
title = {Proof-functional connectives and realizability},
journal = {Arch. Math. Log.},
volume = {33},
number = {3},
pages = {189--211},
year = {1994},
url = {https://doi.org/10.1007/BF01203032},
doi = {10.1007/BF01203032},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/BarbaneraM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CardelliMMS94,
author = {Luca Cardelli and
Simone Martini and
John C. Mitchell and
Andre Scedrov},
title = {An Extension of System {F} with Subtyping},
journal = {Inf. Comput.},
volume = {109},
number = {1/2},
pages = {4--56},
year = {1994},
url = {https://doi.org/10.1006/inco.1994.1013},
doi = {10.1006/INCO.1994.1013},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CardelliMMS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsyml/MartiniM94,
author = {Simone Martini and
Andrea Masini},
title = {A Modal View of Linear Logic},
journal = {J. Symb. Log.},
volume = {59},
number = {3},
pages = {888--899},
year = {1994},
url = {https://doi.org/10.2307/2275915},
doi = {10.2307/2275915},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsyml/MartiniM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/BucciIM93,
author = {A. Bucci and
Paola Inverardi and
Simone Martini},
title = {An 'Executable' Impredicative Semantics for the Ada Configuration},
journal = {Formal Aspects Comput.},
volume = {5},
number = {2},
pages = {91--120},
year = {1993},
url = {https://doi.org/10.1007/BF01211301},
doi = {10.1007/BF01211301},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BucciIM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BianchiDMMMPS93,
author = {U. Bianchi and
Pierpaolo Degano and
Stefano Mannucci and
Simone Martini and
Bruno Mojana and
Corrado Priami and
E. Salvatori},
title = {Generating the analytic component parts of syntax-directed editors
with efficient-error recovery},
journal = {J. Syst. Softw.},
volume = {23},
number = {1},
pages = {65--79},
year = {1993},
url = {https://doi.org/10.1016/0164-1212(93)90061-2},
doi = {10.1016/0164-1212(93)90061-2},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/BianchiDMMMPS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/1992,
editor = {Egon B{\"{o}}rger and
Gerhard J{\"{a}}ger and
Hans Kleine{ }B{\"{u}}ning and
Simone Martini and
Michael M. Richter},
title = {Computer Science Logic, 6th Workshop, {CSL} '92, San Miniato, Italy,
September 28 - October 2, 1992, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {702},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-56992-8},
doi = {10.1007/3-540-56992-8},
isbn = {3-540-56992-8},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AspertiM92,
author = {Andrea Asperti and
Simone Martini},
title = {Categorical Models of Polymorphism},
journal = {Inf. Comput.},
volume = {99},
number = {1},
pages = {1--79},
year = {1992},
url = {https://doi.org/10.1016/0890-5401(92)90024-A},
doi = {10.1016/0890-5401(92)90024-A},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AspertiM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Martini92,
author = {Simone Martini},
title = {Categorical Models for Non-Extensional lambda-Calculi and Combinatory
Logic},
journal = {Math. Struct. Comput. Sci.},
volume = {2},
number = {3},
pages = {327--357},
year = {1992},
url = {https://doi.org/10.1017/S096012950000150X},
doi = {10.1017/S096012950000150X},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Martini92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/CardelliMMS91,
author = {Luca Cardelli and
Simone Martini and
John C. Mitchell and
Andre Scedrov},
editor = {Takayasu Ito and
Albert R. Meyer},
title = {An Extension of System {F} with Subtyping},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {526},
pages = {750--770},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54415-1\_73},
doi = {10.1007/3-540-54415-1\_73},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/CardelliMMS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AspertiM89,
author = {Andrea Asperti and
Simone Martini},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {Projections Instead of Variables: {A} Category Theoretic Interpretation
of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {337--352},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 05 Aug 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AspertiM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/InverardiMM89,
author = {Paola Inverardi and
Simone Martini and
Carlo Montangero},
editor = {Josep D{\'{\i}}az and
Fernando Orejas},
title = {Is Type Checking Practical for System Configuration?},
booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
and Practice of Software Development, Barcelona, Spain, March 13-17,
1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
Development {II} and Colloquium on Current Issues in Programming Languages
{(CCIPL)}},
series = {Lecture Notes in Computer Science},
volume = {352},
pages = {257--271},
publisher = {Springer},
year = {1989},
url = {https://doi.org/10.1007/3-540-50940-2\_40},
doi = {10.1007/3-540-50940-2\_40},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/InverardiMM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MancarellaMP88,
author = {Paolo Mancarella and
Simone Martini and
Dino Pedreschi},
title = {Complete Logic Programs with Domain-Closure Axiom},
journal = {J. Log. Program.},
volume = {5},
number = {3},
pages = {263--276},
year = {1988},
url = {https://doi.org/10.1016/0743-1066(88)90013-1},
doi = {10.1016/0743-1066(88)90013-1},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MancarellaMP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Martini87,
author = {Simone Martini},
editor = {David H. Pitt and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {An Interval Model for Second-Order Lambda Calculus},
booktitle = {Category Theory and Computer Science, Edinburgh, UK, September 7-9,
1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {283},
pages = {219--237},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/3-540-18508-9\_28},
doi = {10.1007/3-540-18508-9\_28},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Martini87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LongoM86,
author = {Giuseppe Longo and
Simone Martini},
title = {Computability in Higher Types, {P} omega and the Completeness of Type
Assignment},
journal = {Theor. Comput. Sci.},
volume = {46},
number = {3},
pages = {197--217},
year = {1986},
url = {https://doi.org/10.1016/0304-3975(86)90030-7},
doi = {10.1016/0304-3975(86)90030-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LongoM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/LongoM84,
author = {Giuseppe Longo and
Simone Martini},
editor = {Max Fontet and
Kurt Mehlhorn},
title = {Computability in Higher Types and the Universal Domain P{\_}omega},
booktitle = {{STACS} 84, Symposium of Theoretical Aspects of Computer Science,
Paris, France, 11-13 April, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {166},
pages = {186--197},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-12920-0\_17},
doi = {10.1007/3-540-12920-0\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/LongoM84.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-17 23:16 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:
