Rachunek lambda z typami prostymi

Wygląd przypnij ukryj W Wikipedii nie ma jeszcze artykułu o takiej nazwie. Możesz:

utworzyć go,
zaproponować, żeby inni go napisali,
poszukać tekstu „Rachunek lambda z typami prostymi” w artykułach,
poszukać strony o tym tytule na jednym z siostrzanych projektów Wikipedii: