Venue

Theor. Comput. Sci., vol. 410(33-34), pp. 3166–3185

Publication Year

2009

Identifiers

Authors

  • Luca Cardelli
  • Emmanuelle Caron
  • Philippa Gardner
  • Ozan Kahramanogullari
  • Andrew Phillips

Source Materials