Sequentiality and full abstraction (1992)

by P-L Curien
Venue:in Applications of Categories in Computer Science