Combinatory Logic articles

2/8/2023 • EN

Exploring compiler design using functional programming concepts and combinatory logic to transform abstract syntax trees (ASTs) in Python.

Abstract Syntax Tree Combinatory Logic compiler design functional programming Python Ast

2/3/2023 • EN

Explores combinatory logic using bird metaphors, connecting the S and K combinators to lambda calculus and programming concepts.

Combinatory Logic computer science functional programming Lambda Calculus mathematics

2/1/2023 • EN

Explores combinatory logic puzzles using bird metaphors, focusing on the self-fond Kestrel (K) and its logical properties.

Combinatory Logic Formal Systems Lambda Calculus Mathematical Puzzles To Mock A Mockingbird

1/30/2023 • EN

Explores the connection between mockingbirds and fixpoints in combinatorial logic, using bird metaphors to discuss formal systems.

Combinatory Logic Fixpoint Theorem functional programming Lambda Calculus Mockingbird

1/17/2023 • EN

A technical introduction to combinatory logic using the metaphor of birds, based on the book 'To Mock a Mockingbird'.

Combinatory Logic computer science functional programming Lambda Calculus Mathematical Logic

Combinatory Logic Articles