Available papers

• D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani. Static analysis for path correctness of XML queries. Journal of Functional Programming (JFP), 2005. To appear.
• D. Colazzo and G. Ghelli. Subtyping, recursion and parametric polymorphism in Kernel Fun. Information and Computation, 198(2):71-147, 2005.
• L. Cardelli, G. Ghelli, and A. D. Gordon. Secrecy and group creation. Information and Computation, 196(2): 127-155, 2005.
• A. Dawar, P. Gardner, and G. Ghelli. Adjunct elimination through games in Static Ambient Logic (extended abstract). In Proc. of the 24th Foundations of Software Technology and Theoretical Computer Science (FSTTCS), Chennai, India, December 2004.
• D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani. Types for path correctness for xml queries. In Proc. of ACM International Conference on Functional Programming (ICFP), Snowbird, Utah, USA, 2004.
• C. Sartiani, P. Manghi, G. Ghelli, and G. Conforti. XPeer: A self-organizing XML P2P database system. In Proc. of the First International Workshop on Peer-to-Peer Computing and Databases (P2P&DB;), Heraklion - Crete, Greece, 2004.
• G. Ghelli and G. Conforti. Decidability of Freshness, Undecidability of Revelation. TR-03-11, Dipartimento di Informatica, Università di Pisa, 24 July 2003.
• L. Cardelli and G. Ghelli. TQL: A query language for semistructured data based on the ambient logic. Mathematical Structures in Computer Science, 14(3):285--327, 2004.
• G. Conforti, O. Ferrara, and G. Ghelli. TQL algebra and its implementation (extended abstract).   (.pdf) In Proc. of IFIP International Conference on Theoretical Computer Science (IFIP TCS), Montreal, Canada, August 2002.
• G. Conforti, G. Ghelli, A. Albano, D. Colazzo, P. Manghi, and C. Sartiani. The query language TQL. In Proc. of the 5th International Workshop on the Web and Databases (WebDB), Madison, Wisconsin, USA, 2002.
• D. Colazzo, G. Ghelli, P. Manghi, and C. Sartiani. Types for correctness of queries over semistructured data. In Proc. of the 5th International Workshop on the Web and Databases (WebDB), Madison, Wisconsin, USA, 2002.
• L. Cardelli, P. Gardner, and G. Ghelli. A spatial logic for querying graphs. In Proc. of the 29th International Colloquium on Automata, Languages, and Programming (ICALP), Malaga, Spain, LNCS, Berlin, July 2002. Springer-Verlag.
• L. Cardelli, G. Ghelli, and A. D. Gordon. Types for the Ambient Calculus. Information and Computation, to appear.
• L. Cardelli, and G. Ghelli, A Query Language Based on the Ambient Logic. In Proc. of the European Symposium on Programming (ESOP), Genova, Italy, number 2028 in LNCS, pages 1--22, Berlin, April 2001. Springer-Verlag.
• L. Cardelli, and G. Ghelli. A Query Language for Semistructured Data Based on the Ambient Logic - Full DRAFT.
• L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. In Proc. of IFIP International Conference on Theoretical Computer Science (IFIP TCS), Sendai, Japan, August 2000.
• A. Albano, G.Antognoni, and G. Ghelli. View operations on objects with roles for a statically typed database language. IEEE Transactions on Knowledge and Data Engineering, 12(4):548--567, 2000.
• L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile ambients. In Proc. of the 26th International Colloquium on Automata, Languages, and Programming (ICALP), Prague, Czech Republic, July 1999. Published here by permission of Springer-Verlag.
• G. Ghelli and D. Palmerini. Foundations for extensible objects with roles, extended abstract. Proc. of the 6th Workshop on Foundations of Object-Oriented Languages (FOOL), San Antonio, Texas, 1999.
• D. Colazzo and G. Ghelli. Subtyping recursive types in kernel Fun, extended abstract. In Proc. of the 14th Annual IEEE Symposium on Logic in Computer Science (LICS), Trento, Italy, June 1999. (full paper)
• A. Albano, G. Ghelli, and R. Orsini. A relationship mechanism for a strongly typed object-oriented database programming language. In G.M. Lohman, A. Sernadas, and R. Camps, editors, Proc. of the Seventeenth Intl. Conf. on Very Large Data Bases (VLDB), Barcelona, Spain, pages 565-576, San Mateo, CA, 1991. Morgan Kaufmann. Best paper award.
• A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An introduction to the database programming language Fibonacci. Journal of Very Large Data Bases, 4 (3), 1995.
• A. Albano, R. Bergamini, G. Ghelli, and R. Orsini. An object data model with roles. In R. Agrawal, S. Baker, and D. Bell, editors, Proc. of the Nineteenth Intl. Conf. on Very Large Data Bases (VLDB), Dublin, Ireland, pages 39-51, San Mateo, CA, 1993. Morgan Kaufmann.
• G. Ghelli. Recursive types are not conservative over F<. In M. Bezen and J.F. Groote, editors, Proc. of the International Conference on Typed Lambda Calculi and Applications (TLCA), Utrecht, The Netherlands, number 664 in LNCS, pages 146-162, Berlin, March 1993. Springer-Verlag.
• G. Ghelli. Divergence of F< type checking. Theoretical Computer Science, 139(1,2), 131-162, 1995.
• G. Ghelli. A static type system for message passing. In A. Paepcke, editor, Proc. of the Sixth Intl. ACM Conference on Object-Oriented Programming Systems Languages and Applications (OOPSLA), Phoenix, Arizona, number 26 (11) in ACM SIGPLAN Notices, pages 129-145, Reading, MA, 1991. Addison-Wesley.
• G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping. Information and Computation, 117(1), 1995, pages 115-135.
• G. Castagna, G. Ghelli, and G. Longo. A calculus for overloaded functions with subtyping, extended abstract. In Proc. of ACM Conference on LISP and Functional Programming (LFP), San Francisco, Ca, pages 182-192. ACM Press, July 1992. Superseded.
• G. Ghelli. Termination of system F-bounded. Unpublished note, 1994.