Foto del docente

Simone Martini

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INFO-01/A Informatica

Pubblicazioni

A. Asperti; P.Coppola; S.Martini., (Optimal) duplication is not elementary recursive., «INFORMATION AND COMPUTATION», 2004, 193(1), pp. 21 - 56 [articolo]

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; Masini, A, A computational interpretation of modal proofs, in: Proof Theory of Modal Logic, DORDRECHT, KLUWER ACADEMIC PUBL, 1996, pp. 213 - 241 [capitolo di libro]

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]

MARTINI, S, AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS, in: Category theory and Computer Science, 175 FIFTH AVE, NEW YORK, NY 10010, SPRINGER VERLAG, «LECTURE NOTES IN COMPUTER SCIENCE», 1987, 283, pp. 219 - 237 (atti di: Conference on Category theory and Computer Science, Edinburgo, 1987) [Contributo in Atti di convegno]