On the recursive specification of data types

@inproceedings{Wand1974OnTR,
  title={On the recursive specification of data types},
  author={Mitchell Wand},
  booktitle={Category Theory Applied to Computation and Control},
  year={1974}
}

From This Paper

Topics from this paper.
4 Citations
0 References
Similar Papers

Citations

Publications citing this paper.
Showing 1-4 of 4 extracted citations

Similar Papers

Loading similar papers…