On Applicative Similarity, Sequentiality, and Full Abstraction

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]

Abstract

Abstract is missing.