On Applicative Similarity, Sequentiality, and Full Abstraction - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Raphaëlle Crubillé, Ugo Dal Lago, Davide Sangiorgi, Valeria Vignudelli. On Applicative Similarity, Sequentiality, and Full Abstraction. In Roland Meyer, André Platzer, Heike Wehrheim, editors, Correct System Design - Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015. Proceedings. Volume 9360 of Lecture Notes in Computer Science, pages 65-82, Springer, 2015. [doi]

This author has not been identified. Look up 'Raphaëlle Crubillé' in GoogleThis author has not been identified. Look up 'Ugo Dal Lago' in GoogleThis author has not been identified. Look up 'Davide Sangiorgi' in GoogleThis author has not been identified. Look up 'Valeria Vignudelli' in Google

runs on WebDSL