Text

mastodon

• The bruijn Programming Language
  2023-04-06 · 2874 words · Marvin Borner
  bruijnlambda calculusarticle
• Data Structures
  in Pure Lambda Calculus
  2023-04-07 · 2462 words · Marvin Borner
  bruijnlambda calculusarticle
• Space-Efficient Binary
  Lambda Calculus Encoding
  2023-04-24 · 477 words · Marvin Borner
  bruijnlambda calculuscompressionpost
• Variadic Fixed-Point Combinators
  2023-07-08 · 1365 words · Marvin Borner
  bruijnlambda calculusarticle
• Metaprogramming
  and Self-Interpretation
  2023-11-11 · 4182 words · Marvin Borner
  bruijnlambda calculusmetaprogrammingarticle
• Unary Combinatory Logic
  2023-10-06 · 728 words · Marvin Borner
  bruijncombinatory logiclambda calculusjokepost
• Crafting Formulas
  2024-08-06 · 4041 words · Marvin Borner
  bruijnlambda calculusmathsarticle