Paolo Coppola et al.: Light Logics and the Call-by-Value Lambda Calculus (2008)journals/corr/abs-0809-01950809.0195Light Logics and the Call-by-Value Lambda Calculus3Paolo Coppola 00011Ugo Dal Lago2Simona Ronchi Della Rocca3CoRRCoRRabs/0809.01952008provenance information for RDF data of dblp record 'journals/corr/abs-0809-0195'2020-05-14T14:52:11+0200