TY  - BOOK
AU  - Fiore,Marcelo P.
TI  - Axiomatic domain theory in categories of partial maps
SN  - 052157188X (hardback)
AV  - QA 76.7 .F56 1996
U1  - 005.13/1 20
PY  - 1996///
CY  - Cambridge, New York
PB  - Cambridge University Press
KW  - Programming languages (Electronic computers)
KW  - Semantics
KW  - Functional programming languages
KW  - Axiomatic set theory
N1  - Includes bibliographical references (p. 226-232) and indexes
UR  - http://www.loc.gov/catdir/description/cam027/96002858.html
UR  - http://www.loc.gov/catdir/toc/cam027/96002858.html
ER  -