typed lambda calculus (Q2607208)
Jump to navigation
Jump to search
typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction
Language | Label | Description | Also known as |
---|---|---|---|
English | typed lambda calculus |
typed formalism that uses the lambda-symbol (λ) to denote anonymous function abstraction |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(9 entries)
- elwiki Λ-λογισμός με τύπους
- enwiki Typed lambda calculus
- hrwiki Tipizirani lambda račun
- iswiki Tagskiptur lambda-reikningur
- jawiki 型付きラムダ計算
- plwiki Rachunek lambda z typami
- ruwiki Типизированное лямбда-исчисление
- ukwiki Типізоване лямбда-числення
- zhwiki 有类型λ演算