The Category-Theoretic Solution of Recursive Domain Equations (Extended Abstract)

Michael B. Smyth, Gordon D. Plotkin

Browse the full FOCS paper archive.