Lógica de funciones computables ( LCF ) es un sistema deductivo para funciones computables propuesto por Dana Scott en 1969 en un memorando inédito hasta 1993. [1] Inspiró: