Axioms for definability and full completeness.

Samson Abramsky Axioms for definability and full completeness. 55-76 2000 Proof, Language, and Interaction conf/birthday/1999milner db/conf/birthday/milner1999.html#Abramsky00