iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/corr/abs-0904-4120.rdf
Ugo Dal Lago and Simone Martini: On Constructor Rewrite Systems and the Lambda-Calculus (2009) journals/corr/abs-0904-4120 0904.4120 On Constructor Rewrite Systems and the Lambda-Calculus 2 Ugo Dal Lago 1 Simone Martini 0001 2 CoRR CoRR abs/0904.4120 2009 provenance information for RDF data of dblp record 'journals/corr/abs-0904-4120' 2018-08-13T16:46:56+0200