A Model for Behavioural Properties of Higher-order Programs.

Sylvain Salvati, Igor Walukiewicz

Browse the full CSL paper archive.