Strictification of computations on trees

Publication date

1997

Authors

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

Editors

Advisors

Supervisors

DOI

Document Type

Report
Open Access logo

License

Abstract

Keywords

Wiskunde en Informatica (WIIN), Ordered by external client

Citation

Saraiva, J A B V, Swierstra, S D & Kuiper, M F 1997, Strictification of computations on trees. vol. 1997-30, UU-CS edn, Utrecht University: Information and Computing Sciences, Utrecht, the Netherlands. < http://www.cs.uu.nl/research/techreps/UU-CS-1997-30.html >