Is there a way to make contract law more straight forward? Something like computer code with explicit syntax.
And the natural segue would be, could one imagine a way to enforce these contracts online outside of any given court system? Perhaps a social contract abstraction on top of a given judicial jurisdiction.
Yes, I misremembered, it's been a couple of years since I met him. Here's his blog, though you've probably found it already: http://computationallegalstudies.com/