Back to Results
First PageMeta Content
Mathematics / Algebra / Lambda calculus / Category / Function / Monad / Arrow / Morphism / Sheaf / Combinatory logic / Functor / Commutative property


c Cambridge University Press 2011 JFP 21 (4 & 5): 467–496, 2011.  467 doi:S0956796811000153 First published online 29 June 2011
Add to Reading List

Document Date: 2012-04-02 13:21:01


Open Document

File Size: 695,40 KB

Share Result on Facebook