Tony Finch dot@dotat.at https://dotat.at/ https://dotat.at/:/KPVBL.html 2025-07-07T17:42:01Z 2025-06-04T14:29:27Z AMEN: Church numeral addition, multiplication, exponentiation, and nothing are a complete combinator basis.
  • 2025‑06‑04 - AMEN: Church numeral addition, multiplication, exponentiation, and nothing are a complete combinator basis.
  • https://webspace.science.uu.nl/~swier004/publications/2013-liber.pdf
  • redirect https://dotat.at/:/KPVBL
  • blurb https://dotat.at/:/KPVBL.html
  • atom entry https://dotat.at/:/KPVBL.atom
  • web.archive.org archive.today
    • ]]>