Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Giorgio Ghelli
Types for the Ambient Calculus
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Termination of SystemF-bounded: A Complete Proof
Information and Computation
Theoretical Computer Science
Computational Theory
Computer Science Applications
Information Systems
Mathematics
Manipulating Trees With Hidden Labels
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Static Type System for Message Passing
ACM SIGPLAN Notices
Extensible Objects for Database Evolution: Language Features and Implementation Issues
Scalable Query Dissemination in XPeer
