Types and Models for Higher-Order Action Calculi

Authors

  • Philippa Gardner
  • Masahito Hasegawa

Venue

Theoretical Aspects of Computer Software (TACS) 1997

Publication Date

Sep 1997

Identifiers

Source Materials