Curry-Howard Isomorphism

Stream: new members

[Patrick Thomas]

I was wondering if someone might be able to help with this question: https://math.stackexchange.com/questions/3125601/theorem-on-alpha-conversion-in-type-free-lambda-calculus

[Jeremy Teitelbaum]

This is a bit off-topic, but today I realized that my former colleague Bill Howard at UIC is the "Howard" of the Curry-Howard isomorphism!