Sách/BookAuthors: Pehcevski, Jovan (2023)
This book covers different topics from domain theory in computer science, including: partial orders and groups, power domains and metrics, recursive data types (binary trees) and algebraicity and Boolean algebras.