Axioms for definability and full completeness

Samson Abramsky. Axioms for definability and full completeness. In Gordon D. Plotkin, Colin Stirling, Mads Tofte, editors, Proof, Language, and Interaction, Essays in Honour of Robin Milner. pages 55-76, The MIT Press, 2000.

No reviews for this publication, yet.