combinatory logic (Q1481571)
Jump to navigation
Jump to search
logical formalism using combinators instead of variables
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | combinatory logic |
logical formalism using combinators instead of variables |
Statements
1 reference
Identifiers
Logique combinatoire
1 reference
Kombinatorische Logik
1 reference
2 November 2017
Combinatory logic
1 reference
2 November 2017
Logique combinatoire
1 reference
Combinatory Logic
1 reference
2 November 2017
Sitelinks
Wikipedia(21 entries)
- azwiki Kombinatorial məntiq
- cawiki Lògica combinatòria
- dewiki Kombinatorische Logik
- enwiki Combinatory logic
- eswiki Lógica combinatoria
- frwiki Logique combinatoire
- gdwiki Loidig cho-cheanglachail
- glwiki Lóxica combinatoria
- hrwiki Kombinatorna logika
- hywiki Կոմբինատորային տրամաբանություն
- itwiki Logica combinatoria
- jawiki コンビネータ論理
- nlwiki Combinatorische logica
- nowiki Kombinatorisk logikk
- plwiki Rachunek kombinatorów
- ptwiki Lógica combinatória
- ruwiki Комбинаторная логика
- shwiki Kombinatorna logika
- ukwiki Комбінаторна логіка
- zh_yuewiki 組合子邏輯
- zhwiki 组合子逻辑
Wikibooks(1 entry)
- ruwikibooks Комбинаторы — это просто!