Venue

Electronic Notes in Theoretical Computer Science 2009

Publication date

Feb 2009

Identifiers

Authors

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

Source Materials