Na podstawie artykułu: "Rachunek lambda z typami" pochodzącego z WikipediiOryginałEdytujHistoria i autorzy