Informasi yang berkaitan dengan it/Corrispondenza Curry-Howard