Computer Science Institute

Publications

The lazy call-by-value Lamda-Calculus.
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
Published on MFCS, 1991, Pages: 161-169
The lazy call-by-value Lamda-Calculus
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
Published on MFCS, 1991, Pages: 161-169
Focusing Abductive Diagnosis
Daniele Theseider Dupré, L. Console, Luigi Portinale
Published on AI COMMUNICATIONS Vol. 4, 1991, Pages: 88--97
Type Inference in Polymorphic Type Discipline
Paola Giannini, Simona Ronchi Della Rocca
Published on In Theoretical Aspects of Computer Software, TACS91, 1991
IDL, The Language and its Implementation
Paola Giannini, J. Nestor, J. Newcomer, D. Stone
Ed. Prentice Hall Software Series, 1990
Colored GSPN Models and Automatic Symmetry Detection
Giovanni Chiola, Giuliana Franceschinis
Published on PNPM, 1989, Pages: 50-60
Characterization of Typings in Polymorphic Type Discipline
Paola Giannini, Simona Ronchi Della Rocca
Published on Proceedings of 3-th Annual IEEE Symposium on Logic in Computer Science, 1988, Pages: 61-70
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets
G. Balbo, Giovanni Chiola, Giuliana Franceschinis, G. Molinar Roet
Published on PNPM, 1987, Pages: 136-145
Effectively Given Domains and Lamba-Calculus Models
Paola Giannini, Giuseppe Longo
Published on Information and Control 62, 1984, Pages: 36 - 63