Axioms for Definability and Full Completeness
S. Abramsky
Book Title
Essays in Honour of Robin Milner
Editor
G. Plotkin and M. Tofte and C. Stirling
Pages
55−75
Publisher
MIT Press
Year
1999
S. Abramsky