[量化金融] 定时tuplix微积分与Wesseling和van den Bergh方程 [推广有奖]

摘要翻译：
我们开发了一个代数框架来描述和分析金融行为，即在计划的时间转移一定数量的钱的行为。在很大程度上，对金融产品的分析就是对这些行为的分析。我们通过建立的框架中的一个方程来形式化Wesseling和van den Bergh提出的金融产品的累积利率服从守恒要求，并利用这个形式化定义了金融产品行为的概念。我们还提出了金融产品行为的一些性质。该框架的发展受到了以前关于过程代数ACP的工作的影响。
---
英文标题：
《Timed tuplix calculus and the Wesseling and van den Bergh equation》
---
作者：
J. A. Bergstra, C. A. Middelburg
---
最新提交年份：
2013
---
分类信息：

一级分类：Quantitative Finance        数量金融学
二级分类：General Finance        一般财务
分类描述：Development of general quantitative methodologies with applications in finance
通用定量方法的发展及其在金融中的应用
--
一级分类：Computer Science        计算机科学
二级分类：Logic in Computer Science        计算机科学中的逻辑
分类描述：Covers all aspects of logic in computer science, including finite model theory, logics of programs, modal logic, and program verification. Programming language semantics should have Programming Languages as the primary subject area. Roughly includes material in ACM Subject Classes D.2.4, F.3.1, F.4.0, F.4.1, and F.4.2; some material in F.4.3 (formal languages) may also be appropriate here, although Computational Complexity is typically the more appropriate subject area.
涵盖计算机科学中逻辑的所有方面，包括有限模型理论，程序逻辑，模态逻辑和程序验证。程序设计语言语义学应该把程序设计语言作为主要的学科领域。大致包括ACM学科类D.2.4、F.3.1、F.4.0、F.4.1和F.4.2中的材料；F.4.3（形式语言）中的一些材料在这里也可能是合适的，尽管计算复杂性通常是更合适的主题领域。
--

---
英文摘要：
  We develop an algebraic framework for the description and analysis of financial behaviours, that is, behaviours that consist of transferring certain amounts of money at planned times. To a large extent, analysis of financial products amounts to analysis of such behaviours. We formalize the cumulative interest compliant conservation requirement for financial products proposed by Wesseling and van den Bergh by an equation in the framework developed and define a notion of financial product behaviour using this formalization. We also present some properties of financial product behaviours. The development of the framework has been influenced by previous work on the process algebra ACP.
---
PDF链接：
https://arxiv.org/pdf/0901.3003