Logika vypočítatelných funkcí - Logic of Computable Functions
Logika vypočítatelných funkcí (LCF) je deduktivní systém pro vypočítatelné funkce navržený Dana Scott v roce 1969 v memorandu nepublikovaném do roku 1993.[1] Inspirovalo:
- Logika pro vypočítatelné funkce (LCF), věta dokazující logiku Robin Milner.[2]
- Programování vypočítatelných funkcí (PCF), malý teoretický programovací jazyk od Gordon Plotkin.[3]
Reference
- ^ Dana S. Scott. "Typově teoretická alternativa k ISWIM, CUCH, OWHY ". TeoretickýPočítačová věda, 121: 411–440, 1993. Komentovaná verze rukopisu z roku 1969.
- ^ Robin Milner (1973). "Modely LCF "
- ^ Plotkin, Gordon D. (1977). „LCF považován za programovací jazyk“ (PDF). Teoretická informatika. 5: 223–255. doi:10.1016/0304-3975(77)90044-5.CS1 maint: ref = harv (odkaz)