Logic of Domains by G. Zhang (English) Paperback Book
124,24 €
This monograph studies the logical aspects of domains as used in de notational semantics of programming languages. The study focuses on two categories for dena tational semantics: SFP domains, and the less standard, but important, category of stable domains.
Jetzt bei Ebay:
