Category:Combinatory logic

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

Template:Cat main

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