Why Nostr? What is Njump?
2023-10-05 04:03:47
in reply to

Lindsey Kuper on Nostr: ❤️ Interpretability ❤️ We think that what makes our diagrams useful and ...

❤️ Interpretability ❤️

We think that what makes our diagrams useful and interesting is their interpretability into various semantic domains: into types, into terms, into proofs relating types and terms. For the paper's case study on verified logical clocks, we wrote a series of interpreters for diagrams, culminating in an interpreter that *produces proofs about clocks*!

I'm really proud of this work, and there's lots more to do. We'll keep at it.
Author Public Key
npub1j8ecq8rk6gcn7l9mfq2tj7wv0gseud23r4sa0afgxf83lrxs5nhsg0ncgu