Sequentiality and full abstraction (1992)

by P-L CURIEN
Venue:In Applications of Categories in Computer Science, M.P. Fourman, P.T. Johnstone, and A.M. Pitts (Eds