Category:Combinatory logic: Difference between revisions
Content deleted Content added
m Robot - Moving category Computational models to Models of computation per CFD at Wikipedia:Categories for discussion/Log/2011 February 19. |
|||
| (3 intermediate revisions by 3 users not shown) | |||
| Line 1: | Line 1: | ||
{{Cat main}} |
|||
'''Combinatory logic''' is a logical calculus used in mathematical logic and theoretical computer science. |
'''Combinatory logic''' is a logical calculus used in mathematical logic and theoretical computer science. |
||
| Line 6: | Line 8: | ||
[[Category:Functional programming]] |
[[Category:Functional programming]] |
||
[[Category:Logical calculi]] |
[[Category:Logical calculi]] |
||
[[ru:Категория:Комбинаторная логика]] |
|||
Latest revision as of 21:26, 31 December 2018
Combinatory logic is a logical calculus used in mathematical logic and theoretical computer science.
Subcategories
This category has only the following subcategory.
A
Pages in category "Combinatory logic"
The following 9 pages are in this category, out of 9 total. This list may not reflect recent changes.