MSR Cambridge | Interns | Jobs
Collaboration - in Europe
Italiano  Français  Español  Deutsch  Português
Русский  한국(Korean)  汉语(Chinese)  日本語(Japanese)  (Arabic)
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