Dal Lago U.; Martini S., On Constructor Rewrite Systems and the Lambda-Calculus, in: Automata, Languages and Programming, Vol II, HEIDELBERG, Springer Verlag, 2009, LNCS 5556, pp. 163 - 174 (atti di: International Colloquium on Automata, Languages and Programming (ICALP) 2009, Rodi, Grecia, July 2009) [Contributo in Atti di convegno]
M. Kaminski; S. Martini (a cura di): AA.VV., Computer Science Logic 2008, LNCS 5213, HEIDELBERG - BERLIN, Springer Verlag, 2008, pp. 512 (Lecture Notes in Computer Science). [curatela]
S. Martini, Elogio di Babele, «MONDO DIGITALE», 2008, 2, pp. 17 - 23 [articolo]
S. Martini (Progetto A3) (a cura di): PROGETTO A3 - DIPARTIMENTO DI SCIENZE DELL'INFORMAZIONE, Fondamenti di Informatica, 2 voll., BOLOGNA, Zanichelli, 2008, pp. 700 . [curatela]
U. Dal Lago; S. Martini, Proofs as efficient programs, in: Deduction, Computation, Experiment, HEIDELBERG - BERLIN, Springer Verlag, 2008, pp. 141 - 157 [capitolo di libro]
U. Dal Lago; S. Martini, The weak lambda-calculus as a reasonable machine, «THEORETICAL COMPUTER SCIENCE», 2008, 398, pp. 32 - 50 [articolo]
DAL LAGO, Ugo; Martini, Simone, An invariant cost model for the lambda calculus, in: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, BERLIN, Springer Verlag, 2006, LNCS 3988, pp. 105 - 114 (atti di: Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, 30 June - 5 July, 2006) [Contributo in Atti di convegno]
P. Coppola; S. Martini, Optimizing optimal reduction. A type inference algorithm for elementary affine logic, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2006, 7, pp. 219 - 260 [articolo]
P. Salomoni; L. Donatiello; S. Martini; N. Parisini; M. Roccetti; F. Vitali, Generazione Automatica di Learning Objects Accessibili a Partire da Documenti: il Sistema di Produzione di A3, in: ATTI XLIII Congresso Annuale AICA, UDINE, AICA, 2005(atti di: XLIII Congresso Annuale AICA, Udine, 5-7 Ottobre 2005) [Contributo in Atti di convegno]
A. Asperti; P.Coppola; S.Martini., (Optimal) duplication is not elementary recursive., «INFORMATION AND COMPUTATION», 2004, 193(1), pp. 21 - 56 [articolo]
U. DAL LAGO; S. MARTINI; L. ROVERSI, Higher order linear ramified recurrence, in: Types for Proofs and Programs, BERLIN, HEIDELBERG, Spinger, 2004, 3085, pp. 178 - 193 (atti di: International Workshop, TYPES 2003. Revised Selected Papers, Torino, Italy, April 30 - May 4, 2003) [Contributo in Atti di convegno]
MARTINI S.; DAL LAGO U., Phase Semantics and Decidability of Elementary Affine Logic, «THEORETICAL COMPUTER SCIENCE», 2004, 318(3), pp. 409 - 433 [articolo]
S. Martini, Provando e riprovando, in: P. COPPOLA S. MIZZARO, Laboratorio di programmazione in Java, MILANO, Apogeo, 2004, pp. ix - x [introduzione]
Martini S., Bounded quantifiers have Interval Models, in: Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988, Association for Computing Machinery, Inc, 1988, pp. 164 - 173 (atti di: 1988 ACM Conference on LISP and Functional Programming, LFP 1988, usa, 1988) [Contributo in Atti di convegno]
