Factoradics also make an appearance in Iverson's Turing Award Lecture: <a href="https://dl.acm.org/doi/10.1145/1283920.1283935" rel="nofollow noreferrer">https://dl.acm.org/doi/10.1145/1283920.1283935</a>