Open menu
J. C. Reynolds
1825 – 1906
The Moberly pulpit
On functors expressible in the polymorphic typed lambda calculus