Text

mastodon

• Crafting Formulas
  2024-08-06 · 4041 words · Marvin Borner
  bruijnlambda calculusmathsarticle
• Lambda Screen
  2024-04-08 · 1438 words · Marvin Borner
  lambda calculusfractalsarticle
• Unary Combinatory Logic
  2023-10-06 · 728 words · Marvin Borner
  bruijncombinatory logiclambda calculusjokepost
• Metaprogramming
  and Self-Interpretation
  2023-11-11 · 4182 words · Marvin Borner
  bruijnlambda calculusmetaprogrammingarticle
• $(n\omega)$ vs. $(\omega n)$
  2023-07-28 · 376 words · Marvin Borner
  lambda calculusgoogologypost
• Variadic Fixed-Point Combinators
  2023-07-08 · 1365 words · Marvin Borner
  bruijnlambda calculusarticle
• Hash-Based Approach to Building Shared $\lambda$-Graphs
  2023-05-30 · 981 words · Marvin Borner
  lambda calculusarticle
• Space-Efficient Binary
  Lambda Calculus Encoding
  2023-04-24 · 477 words · Marvin Borner
  bruijnlambda calculuscompressionpost
• Data Structures
  in Pure Lambda Calculus
  2023-04-07 · 2462 words · Marvin Borner
  bruijnlambda calculusarticle
• The bruijn Programming Language
  2023-04-06 · 2874 words · Marvin Borner
  bruijnlambda calculusarticle