Lambda calculus-Church numerals
Autor:
Isaac David
Krótki link:
źródło:
Wymiary:
459 x 196 Pixel (15477 Bytes)
Opis:
Church encoding of the natural numbers in lambda calculus
Licencja:
Public domain
Więcej informacji o licencji można znaleźć tutaj. Ostatnia aktualizacja: Thu, 01 Dec 2022 03:14:41 GMT