Domain Theory in Logical Form

Dettagli Bibliografici
Autore principale: Abramsky, S
Natura: Conference item
Pubblicazione: IEEE 1987