Types and Models for Higher-Order Action Calculi - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Philippa Gardner, Masahito Hasegawa. Types and Models for Higher-Order Action Calculi. In Martín Abadi, Takayasu Ito, editors, Theoretical Aspects of Computer Software, Third International Symposium, TACS 97, Sendai, Japan, September 23-26, 1997, Proceedings. Volume 1281 of Lecture Notes in Computer Science, pages 583-603, Springer, 1997.

This author has not been identified. Look up 'Philippa Gardner' in GoogleThis author has not been identified. Look up 'Masahito Hasegawa' in Google

runs on WebDSL