Higher order polymorphic lambda calculus and categories
C. R. Math. Rep. Acad. Sci. Canada Vol. 8 (2) 1986, pp. 135–140
April 1, 1986
R.A.G. Seely
Abstract/Résumé:
Keywords:
AMS Subject Classification:
PDF(click to download):
Higher order polymorphic lambda calculus and categories
AMS Subject Classification:
[This journal is open access except for the current year and the preceding 5 years]