Types and Models for Higher-Order Action Calculi Venue Theoretical Aspects of Computer Software (TACS) 1997 Publication date Sep 1997 Identifiers DOI: doi:10.1007/BFb0014569 Authors Philippa Gardner Masahito Hasegawa Source Materials Extended Version Published Edition BibTeX Citation