Higher order polymorphic lambda calculus and categories II
C. R. Math. Rep. Acad. Sci. Canada Vol. 8 (3) 1986, pp. 197–202
June 1, 1986
R.A.G. Seely
Abstract/Résumé:
Keywords:
AMS Subject Classification:
AMS Subject Classification:
PDF(click to download):
Higher order polymorphic lambda calculus and categories II