Есептелетін функциялардың логикасы - Logic of Computable Functions
Есептелетін функциялардың логикасы (LCF) - ұсынылатын есептелетін функцияларға арналған дедуктивті жүйе Дана Скотт 1969 жылы 1993 жылға дейін жарияланбаған меморандумда.[1] Бұл шабыттандырды:
- Есептелетін функцияларға арналған логика (LCF), логиканы дәлелдейтін теорема Робин Милнер.[2]
- Есептелетін функцияларды бағдарламалау (PCF), шағын теориялық бағдарламалау тілі Гордон Плоткин.[3]
Әдебиеттер тізімі
- ^ Дана С.Скотт. «ISWIM, CUCH, OWHY типтік-теориялық балама ". ТеориялықИнформатика, 121: 411–440, 1993. 1969 жылғы қолжазбаның түсіндірме нұсқасы.
- ^ Робин Милнер (1973). «LCF модельдері "
- ^ Плоткин, Гордон Д. (1977). «LCF бағдарламалау тілі ретінде қарастырылды» (PDF). Теориялық информатика. 5: 223–255. дои:10.1016/0304-3975(77)90044-5.CS1 maint: ref = harv (сілтеме)