Higher order polymorphic lambda calculus and categories II

September 20, 2019 By

C. R. Math. Rep. Acad. Sci. Canada Vol. 8 (3) 1986, pp. 197–202

June 1, 1986

R.A.G. Seely

Abstract/Résumé:

No abstract available but the full text is online at the title link above.

Keywords:
AMS Subject Classification:

[This journal is open access except for the current year and the preceding 5 years]