Axiomatic domain theory in categories of partial maps /

Bibliographic Details
Main Author:	Fiore, Marcelo P.
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1996.
Series:	Distinguished dissertations in computer science.
Subjects:	Programming languages (Electronic computers) > Semantics. Functional programming languages. Axiomatic set theory.

Remote Storage