Comment by kthielen

What do you have to say about Curry-Howard?