Even though the iRD mimics an institute, in reality it is not a classic, institutional organ. Instead, the iRD multiplexes the term institution, by revisiting its usage in the late 1970s. Back then, Joseph Goguen and Rod Burstall formulated the term institution as a ‘more compound framework’, that dealt with the growing complexities at stake when connecting different logical systems (such as databases and programming languages) within computer sciences. While these institutions were put in place to connect different logical systems, they were not logical themselves.
Inspired by the idea of hyper functional, yet illogical frameworks, the iRD is dedicated to ...