Pattern Calculus: Computing with Functions and Structures

Computable Calculus

Calculus for Computer Graphics

Computational Methods In The Fractional Calculus Of Variations

The Calculus of Computation: Decision Procedures with Applications to Verification