Logic for Computable Functions (Q6667462)
Jump to navigation
Jump to search
1973 formalism by Robin Milner
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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