Questions tagged [curry-howard]

The tag has no usage guidance.

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
1
vote
0answers
80 views

Equality Theorems with Type Theoretic Proof

I am investigating how I might be able to translate even commonplace equalities/ inequalities via the so-called Curry-Howard Correspondance - from a generic, set theoretic plus AOC foundation - into a ...
0
votes
0answers
58 views

What is Undefined Behaviour mapped to with Curry-Howard Correspondence?

As far as I understand, Curry-Howard Correspondence is metaphorically a magical mirror which makes programming concepts and tricks be seen as mathematical theorem/proof elements and vice versa. ...