Category Archives: research

In the Origins post I explained how we (Ed Ashcroft and I) had at the beginning very modest aims – we just wanted a programming notation that was at the same time mathematical (in fact algebraic) and would allow iterative … Continue reading →

Many years ago Ed Ashcroft and I invented the declarative language Lucid. It’s had an interesting history. To begin with, we never intended to design a dataflow language. All we wanted was a more rigorously structured language which would make … Continue reading →

I don’t know if infinitesimal logic is the best idea I’ve ever had, but it’s definitely the best name. So here’s the idea: a multivalued logic in which there are truth values that are not nearly as true as ‘standard’ … Continue reading →