PLUM

PLUM — Programming Languages Universe Model (or Metaphysics) — is the (growing) Curry-Howard-type correspondence[1] between scientific theories and computer programs. While PLUM provides a unity aspect of all scientific theories, a disunity[2] aspect occurs as theories are coded in different (domain-specific[3]) programming languages. One could have a language for molecular genetics and a language for particle physics, for example. The metaphysical issue then is not really about reduction and emergence, but becomes about what happens when attempting to translate or compile from one language to another.

PLUM asserts that code in multiple languages at multiple (abstraction[4]) levels is the basis for everything.

[1] http://en.wikipedia.org/wiki/Curry-Howard_correspondence (the correspondence between mathematical proofs and computer programs)
[2] http://scientiasalon.wordpress.com/2014/12/01/on-the-disunity-of-the-sciences
[3] http://en.wikipedia.org/wiki/Domain-specific_language
[4] http://en.wikipedia.org/wiki/Abstraction_(computer_science)