Author:
Rocca Simona Ronchi Della,Paolini Luca
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, and Silvia Likavec. Behavioural inverse limit models. Theoretical Computer Science, 2003. To appear.
2. Fabio Alessi, Mariangiola Dezani-Ciancaglini, and Furio Honsell. Filter models and easy terms. In Antonio Restivo, Simona Ronchi Della Rocca, and Luca Roversi, editors, Theoretical Computer Science, 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4–6, 2001,volume 2202 of Lecture Notes in Computer Science,pages 17–37. Springer-Verlag, 2001.
3. Mariangiola Dezani-Ciancaglini and Stefania Lusin. Intersection types and lambda theories. In Electronic Proceedings of WIT’02 (http: //www.irit.fr/zeno/WIT2002/proceedings.shtml), 2002.
4. Gérard Berry. Stable models of typed lambda-calculi. In Giorgio Ausiello and Corrado Böhm, editors, Automata, Languages and Programming, Fifth Colloquium, ICALP, Udine, Italy, July 17–21, 1978,volume 62 of Lecture Notes in Computer Science,pages 72–89. Springer-Verlag, 1978.
5. Jean-Yves Girard. The system F of variable types, fifteen years later. Theoretical Computer Science, 45 (2): 159–192, 1986.