redex
-
lambda calculus'ta sadeleştirebilir ifadelere verilen isim.
örneğin (lambda x . t1) t2 bir redextir. (reducible expression)
ayrıca, (bkz: beta reduction) (bkz: eta conversion)
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap