Category:Combinatory logic

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Combinatory logic is a logical calculus used in mathematical logic and theoretical computer science.

Subcategories

This category has only the following subcategory.

Pages in category "Combinatory logic"

The following 9 pages are in this category, out of 9 total. This list may not reflect recent changes (learn more).