statman85

R. Statman. Logical Relations and the Typed Lambda Calculus. Information and Control, 65:85-97, 1985.

Keywords

[ Parametricity ] [ Typetheory ]

Contact

R. Statman

BibTex Reference

@article{statman85,
   Author = {Statman, R.},
   Title = {Logical Relations and the Typed Lambda Calculus},
   Journal = {Information and Control},
   Volume = {65},
   Pages = {85--97},
   Year = {1985}
}

EndNote Reference [help]

Get EndNote Reference (.ref)