Two behavioural lambda models (2003)

by M Dezani-Ciancaglini, S Ghilezan
Venue:Types for Proofs and Programs, volume 2646 of LNCS