Login / Signup
Deriving session and union types for objects.
Lorenzo Bettini
Sara Capecchi
Mariangiola Dezani-Ciancaglini
Elena Giachino
Betti Venneri
Published in:
Math. Struct. Comput. Sci. (2013)
Keyphrases
</>
multiple types
real time
three dimensional
d objects
multiple objects
information systems
multiscale
graph cuts
user behavior
spatial relationships
individual objects