Text
mastodon
Home
·
Support
·
Imprint
·
RSS
The bruijn Programming Language
2023-04-06 - 2023-04-06 · 2874 words · Marvin Borner
bruijn
lambda calculus
article
Data Structures
in Pure Lambda Calculus
2023-04-07 - 2023-04-07 · 2462 words · Marvin Borner
bruijn
lambda calculus
article
Space-Efficient Binary
Lambda Calculus Encoding
2023-04-24 - 2023-04-24 · 477 words · Marvin Borner
bruijn
lambda calculus
compression
post
Variadic Fixed-Point Combinators
2023-06-18 - 2023-07-08 · 1350 words · Marvin Borner
bruijn
lambda calculus
article
Metaprogramming
and Self-Interpretation
2023-09-03 - 2023-11-11 · 4182 words · Marvin Borner
bruijn
lambda calculus
metaprogramming
article
Unary Combinatory Logic
2023-10-05 - 2023-10-06 · 728 words · Marvin Borner
bruijn
combinatory logic
lambda calculus
post