Collaborated with:
J.V.Tucker J.I.Zucker
Talks about:
function (1) abstract (1) provabl (1) comput (1) type (1) data (1)
Person: S. S. Wainer
DBLP: Wainer:S=_S=
Contributed to:
Wrote 1 papers:
- ICALP-1990-TuckerWZ #data type
- Provable Computable Functions on Abstract Data Types (JVT, SSW, JIZ), pp. 660–673.