rachunek λ,
mat. formalizm wprowadzony w latach 30. XX w. przez A. Churcha, pozwalający definiować funkcje mat. oraz obliczać ich wartości.
Zgłoś uwagę
rachunek λ
Encyklopedia PWN
zgłoś uwagę