Cover Image
Read Now

1
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... data types II computation on ADTs as ordinary computation -- A primitive recursive set theory and AFA...”