paschw92a

J. Palsberg, M. Schwartzbach. Polyvariant Analysis of the Untyped Lambda Calculus. Research Report DAIMI, Aarhus University, No 0, February 1992.

Keyword

[ Dyntyp ]

Contact

J. Palsberg
M.I. Schwartzbach

BibTex Reference

@TechReport{paschw92a,
   Author = {Palsberg, J. and Schwartzbach, M.},
   Title = {Polyvariant Analysis of the Untyped Lambda Calculus},
   Number = {0},
   Institution = {DAIMI, Aarhus University},
   Month = {February},
   Year = {1992}
}

EndNote Reference [help]

Get EndNote Reference (.ref)