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/conf/icalp/LagoM09.xml
Ugo Dal Lago Simone Martini 0001 On Constructor Rewrite Systems and the Lambda-Calculus. 163-174 2009 ICALP (2) https://doi.org/10.1007/978-3-642-02930-1_14 conf/icalp/2009-2 db/conf/icalp/icalp2009-2.html#LagoM09