Strictification of Computations on Trees (1997)

by João Saraiva , Doaitse Swierstra , Matthijs Kuiper
Citations:2 - 0 self