A Computational Model for Multi-variable Differential Calculus.

Abbas Edalat, Andr Lieutier, Dirk Pattinson

Browse the full FOSSACS paper archive.