5
-kalkulus dengan refleksi
Saya mencari kalkulus sederhana yang mendukung pemikiran tentang refleksi , yaitu introspeksi dan manipulasi program yang sedang berjalan. Apakah ada ekstensi -calculus yang tidak diketik yang memungkinkan seseorang untuk mengkonversi -terms ke dalam bentuk yang dapat dimanipulasi secara sintaksis dan kemudian dievaluasi?λλλ\lambdaλλ\lambda Saya membayangkan bahwa kalkulus memiliki dua istilah tambahan …