Publications
Publications found: 393
- 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
Pages: « < 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40
