- Tytuł:
- Reducibility Proofs in the λ-Calculus
- Autorzy:
-
Kamareddine, F.
Rahli, V.
Wells, J. B. - Data publikacji:
- 2012
- Słowa kluczowe:
-
lambda calculus
reducibility
Church-Rosser theorem
development - Pokaż więcej
- Dostawca treści:
- BazTech