Results 1 -
1 of
1
On functors expressible in the polymorphic typed lambda calculus
- Logical Foundations of Functional Programming
, 1990
"... This is a preprint of a paper that has been submitted to Information and Computation. ..."
Abstract
-
Cited by 16 (1 self)
- Add to MetaCart
This is a preprint of a paper that has been submitted to Information and Computation.
