Logic for Computable Functions (Q6667462)
1973 formalism by Robin Milner
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Logic for Computable Functions |
1973 formalism by Robin Milner |
Statements
Identifiers
Sitelinks
Wikipedia(4 entries)
- enwiki Logic for Computable Functions
- eswiki LCF
- ruwiki Logic for Computable Functions
- trwiki Logic for Computable Functions