Axiomatic domain theory in categories of partial maps
By: Marcelo P. Fiore.
Publisher: Cambridge University Press
Published: 1996
Place of publication: Cambridge; New York
Language: eng
Number of pages: 240
Subjects: Programming languages (Electronic computers) -- Semantics.; Functional programming languages.; Axiomatic set theory.
Notes: Includes bibliographical references (p. 226-232) and indexes.