Paolo Coppola et al.: Elementary Affine Logic and the Call-by-Value Lambda Calculus. (2005)conf/tlca/CoppolaLR0510.1007/11417170_11Elementary Affine Logic and the Call-by-Value Lambda Calculus.3Paolo Coppola 00011Ugo Dal Lago2Simona Ronchi Della Rocca3131-145TLCATLCA20052005provenance information for RDF data of dblp record 'conf/tlca/CoppolaLR05'2020-05-14T14:52:19+0200