Constructor Theory: expressing laws in terms of what is possible or impossible

constructortheory.org