stat79b

R. Statman. The Typed Lambda Calculus is not Elementary Recursive. Theoretical Computer Science, 9:73-82, 1979.

Keywords

[ Parametricity ] [ Typetheory ]

Contact

R. Statman

BibTex Reference

@article{stat79b,
   Author = {Statman, R.},
   Title = {The Typed Lambda Calculus is not Elementary Recursive},
   Journal = {Theoretical Computer Science},
   Volume = {9},
   Pages = {73--82},
   Year = {1979}
}

EndNote Reference [help]

Get EndNote Reference (.ref)