A Fully Abstract Domain Model for the ��--Calculus (1996)

by I Stark
Venue:In Logic in Computer Science