DIPARTIMENTO   DI   INFORMATICA
Università di Torino

THE GROUP'S LOGO
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)


    S. Berardi and L. Boerio.  Minimum Information Code in a Pure Functional Language with Data Types,   TLCA 97, Nancy, France, in: LNCS 1210,  pages 30-45,  1997.


    S. Berardi and L. Boerio.  Using Subtyping in Program Optimization,   Proceedings TLCA95, Edinburgh, in: LNCS 902,  pages 63-77,  1995.



    [Research on "Semantics and Logics of Computation"] [Department's HOME]

    If you are interested in papers which are not available, please, contact directly the author(s).