System U (Q22909237)
Jump to navigation
Jump to search
special forms of a typed lambda calculus
Language | Label | Description | Also known as |
---|---|---|---|
English | System U |
special forms of a typed lambda calculus |
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki System U
- eswiki Sistema U
- frwiki Système U (mathématiques)