System F-sub (Q16977778)
Jump to navigation
Jump to search
typed lambda calculus
- System F<:
Language | Label | Description | Also known as |
---|---|---|---|
English | System F-sub |
typed lambda calculus |
|
Statements
Identifiers
Sitelinks
Wikipedia(1 entry)
- enwiki System F-sub