University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Axioms for Definability and Full Completeness

S. Abramsky

Details

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

Links

BibTeX

Download  (ps.gz)

Related pages

People