A Filter Model for Concurrent λ-Calculus (1998)

by Mariangiola Dezani-ciancaglini , Ugo de'Liguoro , Adolfo Piperno
Venue:SIAM J. Comput
Citations:4 - 1 self