Venue

Electr. Notes Theor. Comput. Sci., vol. 229(1), pp. 127–144

Publication Year

2009

Identifiers

Authors

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

Source Materials