Lambda-mu calculus (Q6481090)
Jump to navigation
Jump to search
Extension of lambda calculus
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lambda-mu calculus |
Extension of lambda calculus |
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki Lambda-mu calculus