Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog Howard on Curry-Howard

Howard on Curry-Howard

Lambda the Ultimate - Programming Languages Weblog 2014-08-31

Summary:

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

Link:

http://lambda-the-ultimate.org/node/5029

From feeds:

Gudgeon and gist ยป Lambda the Ultimate - Programming Languages Weblog

Tags:

history type theory

Date tagged:

08/31/2014, 02:30

Date published:

08/30/2014, 12:07