Jump to content

Category:Combinatory logic

From Wikipedia, the free encyclopedia

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

Subcategories

This category has only the following subcategory.