A Filter Model for Concurrent λ-Calculus (1998)

by Mariangiola Dezani-Ciancaglini , Ugo de'Liguoro , Adolfo Piperno
Venue:SIAM J. COMPUT
Citations:7 - 2 self