A Study of Abramsky s Linear Chemical Abstract Machine

Seikoh Mikami, Yohji Akama. A Study of Abramsky s Linear Chemical Abstract Machine. 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 243-257, Springer, 1999. [doi]

Authors

Seikoh Mikami

This author has not been identified. Look up 'Seikoh Mikami' in Google

Yohji Akama

This author has not been identified. Look up 'Yohji Akama' in Google