Risultato ricerca (Curry–Howard correspondence)