On the recursive specification of data types
- 1 January 1975
- book chapter
- Published by Springer Nature
- p. 214-217
- https://doi.org/10.1007/3-540-07142-3_85
Abstract
No abstract availableThis publication has 1 reference indexed in Scilit:
- Models for Various Type-Free CalculiPublished by Elsevier ,1973