Research on "Semantics and Logics of Computation"

Notice:

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Publications - search performed on "http://www.di.unito.it/~lambda/biblio/bibliography.html"
(most recent last - most of the papers antecedent to 1995 are not included in the list below)

A. Pravato, S. Ronchi Della Rocca and L. Roversi.  The call by value $\lambda$-calculus: a semantic investigation,   Mathematical Structures in Computer Science,  9(5):617 - 650,  1999.


O. Bastonero, A. Pravato and S. Ronchi Della Rocca.  Structures for lazy semantics,   Programming Concepts and Methods (PROCOMET'98).  In Gries and de Roever ed(s).,  pages 30 -- 48,  1998,  Chaptman & Hall.


F. Honsell, A. Pravato and S. Ronchi Della Rocca.  Structured Operational Semantics of a fragment of the language SCHEME,   Journal of Functional Programming,  8(4):335 -- 366,  1998.


A. Pravato and L. Roversi.  $\Lambda$_! considered both as a paradigmatic language and as a meta-language,   Fifth Italian Conference on Theoretical Computer Science,  1995,  Salerno (Italy).


A. Pravato, S. Ronchi Della Rocca and R. Luca.  Categorical Semantics of the call-by-value lambda calculus,   Proc. of TLCA'95, Second International Symposium on Typed Lambda Calculus and Applications,  Lecture Notes in Computer Science,   volume 902,  pages 381-396,  1995,  Springer-Verlag.