A Maximal Monoidal Closed Category of Distributive Algebraic Domains

• 1 January 1995
• journal article
• Published by Elsevier in Information and Computation
• Vol. 116  (1) , 10-25
• https://doi.org/10.1006/inco.1995.1002

Abstract

Keywords

• MAXIMAL MONOIDAL
• ALGEBRAIC DOMAINS
• MONOIDAL CLOSED
• DISTRIBUTIVE ALGEBRAIC
• CLOSED CATEGORY