Questions tagged [curry-howard]
The curry-howard tag has no usage guidance.
2
questions
20
votes
2
answers
2k
views
Is there a typed lambda calculus which is consistent and Turing complete?
Is there a typed lambda calculus where the corresponding logic under the Curry-Howard correspondence is consistent, and where there are typeable lambda expressions for every computable function?
This ...
14
votes
1
answer
830
views
Simply typed lambda calculus and higher order logic
What is the relation between simply typed lambda calculus and higher order logic?
Under Curry-Howard it seems that simply typed lambda calculus corresponds to propositional logic. How is it related ...