Find link
language:
jump to random article
Find link is a tool written by Edward Betts.
searching for Curry–Howard correspondence 1 found (74 total)
alternate case: curry–Howard correspondence
Type inhabitation
(239 words)
[view diff]
exact match in snippet
view article
find links to article
is strongly related to the consistency of a type system with Curry–Howard correspondence. To be sound, such a system must have uninhabited types. For