Home

Howard on Curry-Howard

Philip Wadler posts his exchange with William Howard on history of the Curry-Howard correspondence. Howard on Curry-Howard.

By bashyal at 2014-08-30 16:07 | History | Type Theory | other blogs | 16003 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

I just skimmed so far, but

I just skimmed so far, but this is awesome.

By Ehud Lamm at Sun, 2014-08-31 08:03 | login or register to post comments