Luca Paolini - Publications

Publications DB

Guest Editor for the Special Issue of Science and Computer Programming Tools and Software at the Systems and Software Product Line Conference (SPLC 2022 and 2023)
Guest Editor for the Special Issue of EPTCS Proceedings Sixth Workshop on Intersection Types and Related Systems Dubrovnik, Croatia, 2013.
Guest Editor for the Special Issue of Fundamenta Informaticae on Intersection Types and Related Systems (ITRS), 2012 .
Guest Editor for the Special Issue of "Logical Methods in Computer Science" with Patrick Baillot and Pierre-Louis Curien.Brasilia, Brazil, 2009.
Editor of TLCA Open Problem List ot the International Conference on Typed Lambda Calculi and Applications, published in electronic form.
Reviewer for the American Mathematical Society
Editor of Mathematics (ISSN 2227-7390), an international peer-reviewed open access journal published by MDPI. Impact Factor 2020: 2.258
Editor of Electronics (ISSN 2079-9292; CODEN: ELECGJ), an international peer-reviewed open access journal published by MDPI. Impact Factor 2020: 2.397

Author of The Parametric Lambda Calculus. A Metamodel for Computation, Texts in Theoretical Computer Science. An EATCS Series, Springer-Verlag, 2004.
Available on Amazon.
Guest editor of the Special Issue of EPTCS Proceedings Sixth Workshop on Intersection Types and Related Systems. Croatia, 2013.
Guest editor of the Special Issue of Fundamenta Informaticae on Intersection Types and Related Systems (ITRS). Italia, 2012 .
Guest editor of the Special Issue of "Logical Methods in Computer Science" with Patrick Baillot and Pierre-Louis Curien. Brazil, 2009.