kfti89

A. Kfoury, J. Tiuryn. Type Reconstruction in Finite Rank Fragments of the Second-Order Lambda Calculus. Research Report Boston University, No 0, October 1989.

Keyword

[ Parametricity ]

Contact

A. J. Kfoury
J. Tiuryn

BibTex Reference

@TechReport{kfti89,
   Author = {Kfoury, A. and Tiuryn, J.},
   Title = {Type Reconstruction in Finite Rank Fragments of the Second-Order Lambda Calculus},
   Number = {0},
   Institution = {Boston University},
   Month = {October},
   Year = {1989}
}

EndNote Reference [help]

Get EndNote Reference (.ref)