Explicit Environments - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Masahiko Sato, Takafumi Sakurai, Rod M. Burstall. Explicit Environments. In Jean-Yves Girard, editor, Typed Lambda Calculi and Applications, 4th International Conference, TLCA 99, L Aquila, Italy, April 7-9, 1999, Proceedings. Volume 1581 of Lecture Notes in Computer Science, pages 340-354, Springer, 1999. [doi]

This author has not been identified. Look up 'Masahiko Sato' in GoogleThis author has not been identified. Look up 'Takafumi Sakurai' in GoogleThis author has not been identified. Look up 'Rod M. Burstall' in Google

runs on WebDSL