Recursive Data Types in Algebraically omega-Complete Categories

@article{Admek1995RecursiveDT,
  title={Recursive Data Types in Algebraically omega-Complete Categories},
  author={Jir{\'i} Ad{\'a}mek},
  journal={Inf. Comput.},
  year={1995},
  volume={118},
  pages={181-190}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…