Formal Language for Analyzing Contracts

Grant Barrett gbarrett at WORLDNEWYORK.ORG
Tue Jun 4 12:40:49 UTC 2002


Nick Szabo has written a preliminary draft of a paper discussing a
programming-like language to analyze contracts. Among other things, he uses
a contract from Genoa, written June 23 in 1271, to demonstrate how it would
apply to damage clauses.

http://szabo.best.vwh.net/contractlanguage.html

--

Apple Macintosh Technical Support in New York City
gbarrett at worldnewyork.org
http://www.worldnewyork.org/
646 296 2260



More information about the Ads-l mailing list