Effective solutions of recursive domain equations
Effective solutions of recursive domain equations
A. Kanda
1980 · DBLP: phd/ethos/Kanda80
9 Citations
TLDR
This dissertation is to provide a categorical method for obtaining effective solutions of recursive domain equations and to provide effective models of denotational semantics and algebraic data types.