• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Deriving session and union types for objects.

Lorenzo BettiniSara CapecchiMariangiola Dezani-CiancagliniElena GiachinoBetti 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