One binary operator eml(x,y)=exp(x)-ln(y) plus the constant 1 generates all elementary functions including sin, cos, sqrt, log, arithmetic operations, and constants e, pi, i.
Interaction combinators.Inf
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
years
2026 3verdicts
UNVERDICTED 3representative citing papers
Clef compiler applies fixed-point scaffolding and a functor from compilation poset to target category to preserve dimensional, grade, escape and numeric structure through MLIR lowering while adding compact-closed negative and fractional types.
Applies established negative and fractional type dualities to the authors' existing NTU framework to enable new resolution forms in specialized compute modalities.
citing papers explorer
-
All elementary functions from a single binary operator
One binary operator eml(x,y)=exp(x)-ln(y) plus the constant 1 generates all elementary functions including sin, cos, sqrt, log, arithmetic operations, and constants e, pi, i.
-
Fixed-Point Scaffolding in the Clef Programming Language
Clef compiler applies fixed-point scaffolding and a functor from compilation poset to target category to preserve dimensional, grade, escape and numeric structure through MLIR lowering while adding compact-closed negative and fractional types.
-
Negative and Fractional Types in the Fidelity Framework
Applies established negative and fractional type dualities to the authors' existing NTU framework to enable new resolution forms in specialized compute modalities.