Dalam artikel wikipedia ini tentang Turing Completeness disebutkan bahwa: Kalkulus lambda yang tidak diketik adalah Turing lengkap, tetapi banyak kalkulus lambda yang diketik, termasuk Sistem F, tidak. Nilai dari sistem yang diketik didasarkan pada kemampuan mereka untuk mewakili sebagian besar...