Ketik teori dan kompleksitas komputasi
Apakah ada sistem tipe, yang membatasi istilah lambda dengan istilah yang termasuk dalam kelas kompleksitas? Seperti istilah yang bisa diketik dalam teori secara ketat di dalam kelas kompleksitas? Atau apakah itu tidak mungkin sama sekali? Saya menemukan ada banyak studi tentang ekspresibilitas...