Differentiation in logical form.

Abbas Edalat, Mehrdad Maleki

Browse the full LICS paper archive.