Strictification of computations on trees

J.A.B.V. Saraiva, S.D. Swierstra, M.F. Kuiper

Research output: Book/ReportReportAcademic

Original languageUndefined/Unknown
Place of PublicationUtrecht, the Netherlands
PublisherUtrecht University: Information and Computing Sciences
Volume1997-30
EditionUU-CS
ISBN (Print)0924-3275
Publication statusPublished - 1997

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this