Korespondensi Curry-Howard berbeda setelah Anda benar-benar menerapkan implikasi yang ada untuk membuktikan penyangga seperti yang Anda lakukan pada fungsi