Browsing Category

Computer Programming

Combinatorial logic

The advent of computers is perhaps the most significant development in mathematics over the past century. An important topic that laid the foundation for functional programming languages, as well as perhaps more famous lambda calculus, is…