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)

[1] 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.

[2] Robin Milner (1973). "Modely LCF "

[3] 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)

[1]

[2]

[3]