System Fω (Q18199167)
Jump to navigation
Jump to search
typed lambda calculus
- higher-order polymorphic lambda calculus
- Fω
Language | Label | Description | Also known as |
---|---|---|---|
English | System Fω |
typed lambda calculus |
|
Statements
Sitelinks
Wikipedia(1 entry)
- enwiki System Fω