Results 1 -
1 of
1
Inductive Datatypes with Laws and Subtyping – A Relational Model
- Faculty of Mathematics and Computing
"... ..."
Abstract data-types as initial algebras and correctness of data representations (1975)
by J A Goguen, J W Thatcher, E G Wagner, J B Wright
| Venue: | Proc. Conf. on Comptr. Graphics, Pattern Recognition and Data Structure |
