Further Reading

Boden supplies the three modes of creativity [ Boden , 2004 ] . Presented theories follow Lawvere and Ehresmann [ Lawvere , 1963 , Ehresmann , 1968 ] ; Lack discusses PROPs as a possible, but not claimed, composition language [ Lack , 2004 ] . LINCS supplies typed obstruction, repair, and admission [ Mahadevan , 2026e ] ; Chapters 11–13 supply the component contracts composed here.