Axioms for full abstraction and full completeness (1996)

by S Abramsky