Логика вычислимых функций - 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 (связь)