Strictification of computations on trees

Research output: Book/Report › Report › Academic

Original language	Undefined/Unknown
Place of Publication	Utrecht, the Netherlands
Publisher	Utrecht University: Information and Computing Sciences
Volume	1997-30
Edition	UU-CS
ISBN (Print)	0924-3275
Publication status	Published - 1997

Keywords

@book{44ba8075cc404cff892fc4706e6ef790,

title = "Strictification of computations on trees",

keywords = "Wiskunde en Informatica (WIIN)",

author = "J.A.B.V. Saraiva and S.D. Swierstra and M.F. Kuiper",

year = "1997",

language = "Undefined/Unknown",

isbn = "0924-3275",

volume = "1997-30",

publisher = "Utrecht University: Information and Computing Sciences",

edition = "UU-CS",

}