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/lics/Munoz96.xml
César A. Muñoz Confluence and Preservation of Strong Normalisation in an Explicit Substitutions Calculus. 440-447 1996 conf/lics/1996 LICS db/conf/lics/lics96.html#Munoz96 https://doi.org/10.1109/LICS.1996.561460 https://doi.ieeecomputersociety.org/10.1109/LICS.1996.561460