Roberto Borchia, Antonella Carbonaro, Giorgio Casadei, Luca Forlizzi, Michael Lodi, Simone Martini, Problem Solving Olympics: An Inclusive Education Model for Learning Informatics, in: LECTURE NOTES IN COMPUTER SCIENCE, Cham, Springer, 2018, pp. 319 - 335 [Chapter or essay]
Michael, Lodi; Simone, Martini; Enrico, Nardelli, Abbiamo davvero bisogno del pensiero computazionale?, «MONDO DIGITALE», 2017, 72, pp. 1 - 15 [Scientific article]
Martini, Simone, Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto, «IL NODO», 2017, 47, pp. 19 - 28 [Scientific article]
Dal Lago, Ugo.; Martini, Simone; Sangiorgi, Davide, Light logics and higher-order processes, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 969 - 992 [Scientific article]
Martini, Simone, Several types of types in programming languages, in: IFIP Advances in Information and Communication Technology, New York, Springer New York LLC, 2016, 487, pp. 216 - 227 (atti di: 3rd International Conference on History and Philosophy of Computing, HaPoC 2015, Pisa, 2015) [Contribution to conference proceedings]
Martini, Simone, Types in Programming Languages, Between Modelling, Abstraction, and Correctness, in: Pursuit of the Universal, Springer International Publishing, 2016, 9709, pp. 164 - 169 (atti di: Computability in Europe 2016, Paris, 27/06/2016 - 1/07/2016) [Contribution to conference proceedings]
Alves S.; Cervesato I.; Chaudhuri K.; Fernandez M.; Florido M.; Gay S.; Martini S.; Paolini L.; Della Rocca S.R.; Schurmann C.; Simmons R.; Vasconcelos V., Preface, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Waterloo, Open Publishing Association, 2015, pp. 1 - 1 [Preface]
U. Dal Lago; S. Martini, On constructor rewrite systems and the lambda-calculus, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8(3:12), pp. 1 - 27 [Scientific article]
S. Martini, Lingua Universalis, «ANNALI DELLA PUBBLICA ISTRUZIONE», 2011, 4-5(2011), pp. 65 - 70 [Scientific article]
M. Gabbrielli; S. Martini, Linguaggi di programmazione: principi e paradigmi. Seconda Edizione, MILANO, McGraw-Hill, 2011, pp. 576 . [Research monograph]
M. Kaminiski; S. Martini, CSL 2008 special issue, NEW YORK, NY, Association for Computing Machinery - ACM, 2010, pp. 210 . [Editorship]
U. Dal Lago;
S. Martini, Derivational Complexity is an Invariant Cost Model, in: M. VAN EEKELEN; O. SHKARAVSKA, Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, BERLIN HEIDELBERG, Springer, 2010, LNCS 6324, pp. 88 - 101 (atti di: Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, Eindhoven, November 6, 2009) [Contribution to conference proceedings]
U. Dal Lago;
S. Martini;
M. Zorzi, General Ramified Recurrence is Sound for Polynomial Time, in: , «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2010, 23, pp. 47 - 62 (atti di: Developments in Implicit Computational complExity , DICE 2010, Paphos, Cyprus, , 27-28th March 2010) [Contribution to conference proceedings]
U. Dal Lago; S. Martini; D. Sangiorgi, Light Logics and Higher-Order Processes, in: , «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2010, 41, pp. 46 - 60 (atti di: 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Paris, 30th August 2010) [Contribution to conference proceedings]
M. Gabbrielli; S. Martini, Programming Languages: Principles and Paradigms, LONDON DORDRECHT HEIDELBERG, Springer, 2010, pp. 440 . [Research monograph]
