Statman, Richard Normal varieties of combinators Mathematics Technical Report Combinatorial analysis.;Combinatory logic.;Normal varieties (Algebraic geometry) 1989-01-01
    https://kilthub.cmu.edu/articles/journal_contribution/Normal_varieties_of_combinators/6478568
10.1184/R1/6478568.v1