Login / Signup

On Applicative Similarity, Sequentiality, and Full Abstraction.

Raphaëlle CrubilléUgo Dal LagoDavide SangiorgiValeria Vignudelli
Published in: Correct System Design (2015)
Keyphrases