Text - Marvin Borner

Talk: Interaction Combinators - The Hidden Patterns of Computation?

Squeezing Pi From 122 Bits

Tiny, Untyped Monads

Crafting Formulas: Lambdas All the Way Down

Lambda Screen: Fractals in Pure Lambda Calculus

Metaprogramming and self-interpretation

Unary combinatory logic

(nω) vs. (ωn)

Variadic fixed-point combinators

Hash-based approach to building shared λ-graphs

Space-efficient binary lambda calculus encoding for binary data

Data structures in pure lambda calculus

The bruijn programming language