BOROPublications

BORO Publications

Why Form, and so Unification of Types, is Important

12 March 2024King’s College London, Workshop on the Unification of Types and Multi-Level Modeling, 13 March 2024, London, UK

Abstract

This presentation looks at why the ‘unification of types’ is pragmatically important (and, more generally, why the ‘innocent’ development environment unification is pragmatically important). It does this by taking an evolutionary perspective that recognises unification as a form adaption for semantic interoperability.

Paper Notes

This presentation looks at why the ‘unification of types’ is pragmatically important (and, more generally, why the ‘innocent’ development environment unification is pragmatically important). It does this by taking an evolutionary perspective that recognises unification as a form adaption for semantic interoperability.

Downloads

  • Presentation Fileapplication/vnd.openxmlformats-officedocument.presentationml.slideshow