Text this: Mathematical theory of domains