Logik för beräkningsbara funktioner
Logic of Computable Functions ( LCF ) är ett deduktivt system för beräkningsbara funktioner som föreslagits av Dana Scott 1969 i ett memorandum opublicerat fram till 1993. Det inspirerade:
- Logik för beräkningsbara funktioner (LCF), teorem som bevisar logik av Robin Milner .
- Programming Computable Functions (PCF), litet teoretiskt programmeringsspråk av Gordon Plotkin .
- ^ Dana S. Scott. " Ett typteoretiskt alternativ till ISWIM, CUCH, OWHY" . Theoretical Computer Science , 121 :411–440, 1993. Kommenterad version av 1969 års manuskript.
- ^ Robin Milner (1973). " Modeller av LCF "
- ^ Plotkin, Gordon D. (1977). "LCF betraktas som ett programmeringsspråk" (PDF) . Teoretisk datavetenskap . 5 (3): 223–255. doi : 10.1016/0304-3975(77)90044-5 .
Kategorier: