Two behavioural lambda models (2003)

Cached

Download Links

by Mariangiola Dezani-ciancaglini , Silvia Ghilezan
Venue:Types for Proofs and Programs
Citations:5 - 4 self