Text

$\mathcal{P}(\{\mathrm{fun},\mathrm{research},\mathrm{projects}\})$

Home · Support · Imprint · RSS

Unary Combinatory Logic
2023-10-05 - 2023-10-06 · 728 words · Marvin Borner

bruijn combinatory logic lambda calculus post
Metaprogramming
and Self-Interpretation
2023-09-03 - 2023-11-11 · 4184 words · Marvin Borner

bruijn lambda calculus metaprogramming article
$(n\omega)$ vs. $(\omega n)$
2023-07-27 - 2023-07-28 · 376 words · Marvin Borner

lambda calculus googology post
Variadic Fixed-Point Combinators
2023-06-18 - 2023-07-08 · 1345 words · Marvin Borner

bruijn lambda calculus article
Hash-Based Approach to Building Shared $\lambda$ -Graphs
2023-05-30 - 2023-05-30 · 981 words · Marvin Borner

lambda calculus article
Space-Efficient Binary
Lambda Calculus Encoding
2023-04-24 - 2023-04-24 · 477 words · Marvin Borner

bruijn lambda calculus compression post
Data Structures
in Pure Lambda Calculus
2023-04-07 - 2023-04-07 · 2465 words · Marvin Borner

bruijn lambda calculus article
The bruijn Programming Language
2023-04-06 - 2023-04-06 · 2874 words · Marvin Borner

bruijn lambda calculus article

Queue: Working on 16 to-be-published posts, totalling 9459 words.