从法律合同到法律演算：代码驱动的规范性

使用专用软件来表示或施行立法或规制，具有解决法律文本固有歧义并实现法律规范的合规自动化的优势。另一方面，所谓的代码驱动规范性不如其所声称实现的法条灵活，并改变了法律保护的性质，可能削弱个体诉诸法律救济的能力。本文关注基于软件的法律合同；我们阐述了一种法律演算的设计，其原语允许对合同的规范性要素（即许可、禁止、义务、资产转移、司法执行以及对外部上下文的开放性）进行直接形式化。我们表明，将法律合同解释为（不可信）各方之间的交互协议，能够将并发系统的形式化方法与工具推广至法律场景。