Howard on Curry-Howard

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

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.