First Page | Meta Content | |
---|---|---|
Document Date: 2008-01-07 09:35:14Open Document File Size: 2,35 MBShare Result on Facebook /FacilityCurry-Howard Isomorphism Philip Wadler University of Edinburgh wadler@inf.ed.ac.uk Part / /OrganizationUniversity of Edinburgh / /SocialTag |