Research on "Formal Methods in Computing"

Recent publications

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. 

• Logic
  1. S. Berardi, U. de' Liguoro, "Total functionals and well-founded strategies'', in TLCA '99, volume 1581 of Lecture Notes in Computer Science, pages 54-68. Springer-Verlag, 1999. (abstract, paper)
• Foundations of Object Oriented Languages
  2. U. de' Liguoro. "Characterizing convergent terms in object calculi via intersection types", in TLCA'01, LNCS 2044. Springer, 2001. (abstract, paper)
  3. U. de' Liguoro, "Subtyping in logical form", in ITRS'02, volume 70.1 of  ENTCS. Elsevier, 2002. (abstract, paper)
  4. S. van Bakel, U. de' Liguoro, "Logical Semantics of the First Order Sigma- Calculus", in ICTCS'03, LNCS 2841. Springer, 2003. (abstract, paper)
  5. F. Barbanera, U. de' Liguoro, "Type Assignment for Mobile Objects", in COMETA'03, ENTCS. Elsevier, Vol. 104C, pp. 25-38, 2004. (abstract, paper)
  6. S. van Bakel, U. de' Liguoro, "Subtyping Object and Recursive Types Logically", in ICTCS'05, LNCS 3701, pp. 66-80, 2005 (abstract, draft, slides)