Types and Models for Higher-Order Action Calculi
Authors
- Philippa Gardner
- Masahito Hasegawa
Venue
Theoretical Aspects of Computer Software, Third International Symposium, TACS ’97, Sendai, Japan, September 23-26, 1997, Proceedings, pp. 583–603
Publication Date
1997