PCF(ID:6982/)
Plotkin's LCF as a language
Related languages
| Edinburgh LCF |
=> |
PCF | |
Implementation |
| PCF |
=> |
Behaviour Algebra | |
Incorporated some features of |
References:
Plotkin, Gordon "LCF considered as a programming language" view details
in Theoret. Comput. Sci., 5(3) December 1977 view details
|