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.


Apple Macintosh Technical Support in New York City
gbarrett at
646 296 2260

More information about the Ads-l mailing list