Ugo Dal Lago and Ulrich Schöpp: Computation by interaction for space-bounded functional programming. (2016)journals/iandc/LagoS1610.1016/J.IC.2015.04.006Computation by interaction for space-bounded functional programming.2Ugo Dal Lago1Ulrich Schöpp2150-194Inf. Comput.Inf. Comput.2482016provenance information for RDF data of dblp record 'journals/iandc/LagoS16'2022-04-09T12:28:31+0200