Quote: a financial contract has an acquisition date and an horizon or expiry date; (truncate t c) trims t's horizon to c

Quotation Skeleton

Our language describes what a contract is. … The second fundamental concept [after acquisition date] is that of … the latest date at which it can be … (truncate t c) is a contract that trims … contract that, when acquired, acquires the underlying contract … the composite contract (get c) is acquired.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: formal methods and languages (53 items)