Source: /wikibot/curry-howard-correspondence

= Curry–Howard correspondence
{wiki=Curry–Howard_correspondence}