What I've seen of kimhi's drafts has been pretty dense, harder to read than Kripke(!), but important. In particular (IMHO) he ties a common thread from hermeneutics, continental deconstruction[+] and, for me, modern computational semantics, without the rigid and, IMHO, artificial platonism of American analytical philosophy.

Why do I think it's important? When your cars have hand-built planners you can't really call them (except metaphorically) "self-driving" no matter how many CNNs you put in their vision system and to do so fakes you out to the point where you end up running over women pushing bikes because nobody thought to put in a handler for that case.

[+] I mean the point of early Derrida, not the fatuousnes of most deconstructionist writing.