From Action Calculi to Linear Logic

Authors

  • Andrew G. Barber
  • Philippa Gardner
  • Masahito Hasegawa
  • Gordon D. Plotkin

Venue

Computer Science Logic (CSL) 1997

Publication Date

Aug 1997

Identifiers

Source Materials