A new approach to the semantics of model diagrams
http://drops.dagstuhl.de/opus/volltexte/2013/3898/pdf/4.pdf
http://static.googleusercontent.com/media/research.google.com/ja//pubs/archive/40678.pdf
結局ワールドというのはモデル図にもなるという話なのか、なんかすごいな。あとでちゃんと読むが、��typeという単純な構造がいろいろなものに適用できるというのは面白い。