MSR Cambridge
|
Interns
|
Jobs
Collaboration
-
in Europe
Luca Cardelli
Recent
Me
Research
Papers
Talks
Artifacts
Extra
HotPage
BioComputing
Spatial Logics
Ambients
Obliq
A Theory of Objects
Cω
A Theory of Objects
Martín Abadi
,
Luca Cardelli
Contents
Preface
Prologue
Table of Contents
Concept Map
Index
Order Information
Frequently Asked Questions
Related Work
Related Courses
Software
About the Cover
Errata
Invisible