Gianna Bellè

Syntactical properties of an extension of Girard's System F where types can be taken as "generic" in

Gianna Bellè, 1995 .

A Fixed-Point Theorem in a Category of Compact Metric Spaces

Paolo Baldan, Gianna Bellè, Fabio Alessi, 1995, Theor. Comput. Sci..

Monads, shapely functors, and traversals

C. Barry Jay, Eugenio Moggi, Gianna Bellè, 1999, CTCS.

Solutions of functorial and non-functorial metric domain equations

Jan J. M. M. Rutten, Paolo Baldan, Gianna Bellè, 1995, MFPS.

Typed Intermediate Languages for Shape Analysis

Eugenio Moggi, Gianna Bellè, Gianna Bellè, 1997, TLCA.