Hisoblanadigan funktsiyalar mantig'i - Logic of Computable Functions
Hisoblanadigan funktsiyalar mantig'i (LCF) tomonidan tavsiya etilgan hisoblash funktsiyalari uchun deduktiv tizimdir Dana Skott 1969 yilda 1993 yilgacha nashr etilmagan memorandumda.[1] Bu ilhomlantirdi:
- Hisoblanadigan funktsiyalar uchun mantiq (LCF), mantiqni isbotlovchi teorema Robin Milner.[2]
- Hisoblanadigan funktsiyalarni dasturlash (PCF), tomonidan kichik nazariy dasturlash tili Gordon Plotkin.[3]
Adabiyotlar
- ^ Dana S. Skott. "ISWIM, CUCH, OWHY uchun tipik-nazariy alternativ ". NazariyKompyuter fanlari, 121: 411-440, 1993. 1969 yildagi qo'lyozmaning izohli versiyasi.
- ^ Robin Milner (1973). "LCF modellari "
- ^ Plotkin, Gordon D. (1977). "LCF dasturlash tili sifatida qaraldi" (PDF). Nazariy kompyuter fanlari. 5: 223–255. doi:10.1016/0304-3975(77)90044-5.CS1 maint: ref = harv (havola)