Types, Abstraction, and Parametric Polymorphism, Part 2 (1991)
Cached
Download Links
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- CiteULike
Other Repositories/Bibliography
by
QingMing Ma
,
John C. Reynolds
| Citations: | 53 - 2 self |
BibTeX
@MISC{Ma91types,abstraction,,
author = {QingMing Ma and John C. Reynolds},
title = {Types, Abstraction, and Parametric Polymorphism, Part 2},
year = {1991}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The concept of relations over sets is generalized to relations over an arbitrary category, and used to investigate the abstraction (or logical-relations) theorem, the identity extension lemma, and parametric polymorphism, for Cartesian-closed-category models of the simply typed lambda calculus and PL-category models of the polymorphic typed lambda calculus. Treatments of Kripke relations and of complete relations on domains are included.
