Bilim
Kleene özyineleme teoreminden lambda kalkülüs ile quine türetildi
Matematiksel mantık ve hesaplanabilirlik teorisinin temel sonuçlarından biri olan Kleene'in ikinci özyineleme teoremi, tiplendirilmemiş lambda kalkülüs üzerinde biçimsel olarak uygulanarak kendi…
Lambda KalkülüsRocqHesaplanabilirlik