Логика вычислимых функций
 | Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее . |
Логика вычислимых функций ( LCF ) — дедуктивная система для вычислимых функций, предложенная Даной Скотт в 1969 году в меморандуме, неопубликованном до 1993 года. [1] Это вдохновило:
- Логика для вычислимых функций (LCF), логика доказательства теорем Робина Милнера . [2]
- Программирование вычислимых функций (PCF), небольшой теоретический язык программирования Гордона Плоткина . [3]
Ссылки
[ редактировать ]- ^ Дана С. Скотт. « Теоретико-типовая альтернатива ISWIM, CUCH, OWHY ». Theoretical Computer Science , 121 : 411–440, 1993. Аннотированная версия рукописи 1969 года.
- ^ Робин Милнер (1973). " Модели ЛЦФ "
- ^ Плоткин, Гордон Д. (1977). «LCF рассматривается как язык программирования» (PDF) . Теоретическая информатика . 5 (3): 223–255. дои : 10.1016/0304-3975(77)90044-5 .