Text - Marvin Borner

Let's imagine walking through $\lambda$-terms and observing the views, writing down what we see as we go.

lambda encodings of numbers as graphs. do i have to say more?

Recursion schemes, but in the Effekt programming language?

Can we abuse de Bruijn indices in a numeral system?!

Many factorials in bruijn!

A talk about interaction combinators we gave at GPN23.

You WON'T BELIEVE what happens when you use this SIMPLE TRICK to calculate π from only 122 bits of data!!

Read this if you've always wanted to use monads in untyped languages!!

Today we build complex mathematical formulas bottom-up using pure lambda calculus.

Lambda Screen allows you to draw images using terms of pure lambda calculus.

With inspiration from John Tromp's 232 bit lambda calculus self interpreter I created a universal machine for a homoiconic meta encoding based on the Mogensen-Scott encoding and Church-encoded De Bruijn indices.

Two symbols for programming are clearly too many -- that's why I created a unary basis for the esoteric programming language Jot called Jottary.

Short post about two similar and yet quite different sequences in lambda calculus involving the omega combinator and Church encoded numerals.

This article describes an extension to the default fixed-point combinator – namely the Y-combinator.

An algorithm for deriving shared λ-graphs from expressions in pure lambda calculus by using hashes in a postorder tree traversal.

Space-efficient binary lambda calculus encoding for binary data

This article explains different strategies of encoding data as pure lambda calculus expressions – from simple states and boxes to more complex data structures like lists and trees.

The bruijn programming language is pure lambda calculus with some syntactic improvements.