cartwright84

R. Cartwright. Types as Intervals. Research Report Rice University, No 84, 1984.

Keywords

[ Rectype ] [ Parametricity ]

Contact

Robert Cartwright

BibTex Reference

@TechReport{cartwright84,
   Author = {Cartwright, R.},
   Title = {Types as Intervals},
   Number = {84},
   Institution = {Rice University},
   Year = {1984}
}

EndNote Reference [help]

Get EndNote Reference (.ref)