@InProceedings{Mun97HOA, Author = "C. Mu{\~{n}}oz", Title = "A Left-linear Variant of $\lambda\sigma$", booktitle = "Proc. International Conference PLILP/ALP/HOA'97", Address = "Southampton (England)", series = "Lecture Notes in Computer Science", volume = {1298}, pages = "224--239", publisher = "Springer", Month = {September}, NOTE = {Also available as INRIA Technical Report RR-3107}, Year = {1997} }