Sorry, we couldn't find anything for curry–howard correspondence - wikipedia.
See some search examples.