Two behavioural lambda models (2003)

by M Dezani-Ciancaglini, S Ghilezan
Venue:Types for Proofs and Programs