Mogensen–Scott encoding (Q6890509)
Jump to navigation
Jump to search
way to represent data types in the lambda calculus
Language | Label | Description | Also known as |
---|---|---|---|
English | Mogensen–Scott encoding |
way to represent data types in the lambda calculus |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Mogensen–Scott encoding