mendler87

N. Mendler. Recursive Types and Type Constraints in Second-Order Lambda Calculus. In Proc. Symp. on Logic in Computer Science (LICS), Pages 30-36, 1987.

Keywords

[ Parametricity ] [ Rectype ]

Contact

N. Mendler

BibTex Reference

@InProceedings{mendler87,
   Author = {Mendler, N.},
   Title = {Recursive Types and Type Constraints in Second-Order Lambda Calculus},
   BookTitle = {Proc. Symp. on Logic in Computer Science (LICS)},
   Pages = {30--36},
   Year = {1987}
}

EndNote Reference [help]

Get EndNote Reference (.ref)