curry-howard

7ısı

2cevap

Mantık ve Curry-Howard yazışması hakkında bir soru

Mantıksal programlama temelleri ile tip sistemler ve geleneksel mantık arasındaki sözdizimsel benzerlik olgusu arasındaki temel bağlantının ne olduğunu açıklayabilir misiniz?