Domain Theory and the Logic of Observable Properties

Bibliografische gegevens
Hoofdauteur: Abramsky, S
Formaat: Thesis
Gepubliceerd in: University of London 1987