The top documents of luca-cardelli
Basic polymorphic typechecking
215 views
A Process Model of Actin Polymerisation
213 views
Preface
214 views
On process rate semantics
216 views
Mobile ambients
215 views
A semantics of multiple inheritance
215 views
Secrecy and group creation
214 views
Processes in space
215 views