## 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 - 1 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

### 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.