and full abstraction for fpc (1996)

by Games
Venue:In Logic in Computer Science