Goldberg, Mayer. “A General Schema for Constructing One-Point Bases in the Lambda Calculus”. BRICS Report Series 8, no. 35 (September 4, 2001). Accessed May 4, 2024. https://tidsskrift.dk/brics/article/view/21695.