HOLCF = HOL + LCF (Q4267723)
From MaRDI portal
scientific article; zbMATH DE number 1347959
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | HOLCF = HOL + LCF |
scientific article; zbMATH DE number 1347959 |
Statements
HOLCF = HOL + LCF (English)
0 references
29 November 1999
0 references
HOLCF
0 references
Church's Higher-Order Logic
0 references
Scott's Logic for Computable Functions
0 references
Isabelle
0 references
domain theory
0 references
functional programming
0 references
concurrency
0 references
denotational semantics
0 references
