nLab
synthetic domain theory

Contents

Idea

Synthetic domain theory, as its name suggests, is a synthetic axiomatization of domain theory.

References

Created on October 20, 2016 at 05:13:44. See the history of this page for a list of all contributions to it.