TY  - BOOK
AU  - Fiore,Marcelo P.
TI  - Axiomatic domain theory in categories of parial maps
SN  - 052157188X
PY  - 1996///
CY  - Cambridge, N.Y.
PB  - Cambridge University Press
KW  - Programming languages (Electronic computers)
KW  - Axiomatic set theory
N1  - Includes bibliographical references and index; Contents : Categorical preliminaries--Partiality--Data types
ER  -