Na podstawie artykułu: "Izomorfizm Curry’ego-Howarda" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy