Title: Axiomatic domain theory in categories of partial maps
First published: 1996
Subjects: Axiomatic set theory, Functional programming languages, Semantics, Programming languages (Electronic computers), Programming languages (electronic computers)
LC classification: QA76.7 .F563 1996