Behavioural equivalence and indistinguishability in higherorder typed languages. Selected papers from the (2003)

by S Katsumata
Venue:16th Intl. Workshop on Algebraic Development Techniques, Frauenchiemsee. Springer LNCS