Categorical Models of Polymorphism

  title={Categorical Models of Polymorphism},
  author={Andrea Asperti and Simone Martini},
  journal={Inf. Comput.},
We present and discuss the relations between two classes of categorical models of the second order (or polymorphic) lambda-calculus, namely those based on internal categories (internal models) and those based on indexed categories (exfernal models). We start, in Part I, with a detailed introduction to internal categories and their relations to indexed categories; the presentation is by means of equations between arrows in an ambient category with finite limits. In Part II we recall the… CONTINUE READING

From This Paper

Topics from this paper.


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 10 references

Categorical Semantics for Higher Order Polymorphic Lambda Calculus

J. Symb. Log. • 1987
View 3 Excerpts
Highly Influenced

A small complete category

Ann. Pure Appl. Logic • 1988
View 1 Excerpt

An Equational Presentation of Higher Order Logic

Category Theory and Computer Science • 1987
View 1 Excerpt

Interpretation of second order lambda-calculus in categories, unpublished

E. Berlin. Moccn

Introduction to Higher Order Categorical Logical,

No, Academic Press, J. London. LAMBEK, P. J. SCOTT

Towards a theory of type structure, in “Colloque sur la programmation

(Robinet, Ed.), • 1974
View 1 Excerpt

Interpretation fonctionelle et elimination des coupures dans

BerlinNew York. GIRARD, J.-Y

Similar Papers

Loading similar papers…