and Full Abstraction for FPC (1996)

by Games
Venue:In Proc. of the 11th Annual Symposium on Logic in Computer Science (LICS