Fluent Calculus
Reference article
A reference article about the Fluent Calculus can be found
here
.
Active researchers
Active researchers in this approach are in particular:
Michael Thielscher
(More to be added)