Yazar
marcelo p fiore
3 cilt bulundu.
Cilt sonuçları
Axiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science)
Marcelo P. Fiore · Cambridge University Press
254 sayfa · 2004
Programming languages (electronic computers) / Axiomatic set theory
Axiomatic domain theory in categories of partial maps
Marcelo P. Fiore · Cambridge University Press
240 sayfa · 1996
Axiomatic set theory / Functional programming languages / Semantics / Programming languages (Electronic computers) / Programming languages (electronic computers)
First steps on the representation of domains (extended abstract)
Marcelo P. Fiore · LFCS, Dept. of Computer Science, University of Edinburgh
21 sayfa · 1995
Axiomatic set theory