@Techreport{Mun97INRIA3107,
      Author = "C. Mu{\~{n}}oz",
      Title  = "Meta-Theoretical Properties of $\lambda_\phi$:  
                A Left-Linear Variant of $\lambda\sigma$",
      Institution = {Unit\'e de recherche INRIA-Rocquencourt},
      Month = {February},
      Number = {RR-3107},
      Year = {1997},
      }