Search for: "In Re Corda et al"
Results 1 - 2
of 2
Sorted by Relevance
|
Sort by Date
9 Mar 2021, 1:17 pm
Work in this tradition includes • Peyton-Jones & Eber (2001); • CL “Contract Language” (Schneider et al at Olso 2007); • CSL “Contract Specification Language” (Henglein and Hvitved at Copenhagen 2012); • LPS “Logic Production Systems” (Kowalski & Sadri at Imperial, 2017); • FCL “Formal Contract Language” (Farmer and Hu at McMaster 2018); • Symboleo (Daniel Amyot et al, at uOttawa… [read post]
22 Mar 2021, 5:26 am
Work in this tradition includes • Peyton-Jones & Eber (2001); • CL “Contract Language” (Schneider et al at Olso 2007); • CSL “Contract Specification Language” (Henglein and Hvitved at Copenhagen 2012); • LPS “Logic Production Systems” (Kowalski & Sadri at Imperial, 2017); • FCL “Formal Contract Language” (Farmer and Hu at McMaster 2018); • Symboleo (Daniel Amyot et al, at uOttawa… [read post]
