Pubblicazioni

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]