User contributions
Jump to navigation
Jump to search
- 16:10, 31 December 2007 diff hist +69 Talk:Curry-Howard-Lambek correspondence Signature current
- 11:45, 26 December 2007 diff hist +548 Talk:Curry-Howard-Lambek correspondence Question on the origins of the terminology Curry-Howard-Lambek correspondence