A Formally Verified Proof of the Central Limit Theorem, Journal of Automated Reasoning, vol.59, issue.4, pp.389-423, 2017. ,
Locales: A Module System for Mathematical Theories, Journal of Automated Reasoning, vol.52, issue.2, pp.123-153, 2013. ,
Risk-Neutral Valuation, 2004. ,
The Pricing of Options and Corporate Liabilities, Journal of Political Economy, vol.81, issue.3, pp.637-654, 1973. ,
Truly Modular (Co)datatypes for Isabelle/HOL, Interactive Theorem Proving, vol.8558, pp.93-110, 2014. ,
Option pricing: A simplified approach, Journal of Financial Economics, vol.7, issue.3, pp.229-263, 1979. ,
Reference, Probability, pp.419-424 ,
Social Choice, Rethinking Rational Choice Theory ,
The Binomial Pricing Model in Finance: A Formalization in Isabelle, Automated Deduction ? CADE 26, vol.10395, pp.546-562, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01562944
Chapter 8 Discrete Barrier and Lookback Options, Financial Engineering, vol.15, pp.343-373, 2007. ,
Construction and Stochastic Applications of Measure Spaces in Higher-Order Logic, 2012. ,
Markov Chains and Markov Decision Processes in Isabelle/HOL, Journal of Automated Reasoning, vol.59, issue.3, pp.345-387, 2016. ,
A Formalized Hierarchy of Probabilistic System Types, Interactive Theorem Proving, pp.203-220, 2015. ,
Options, Futures and Other Derivatives, 2009. ,
Derivative Pricing in Discrete Time, vol.01, p.2013, 2013. ,
Formal microeconomic foundations and the first welfare theorem, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2018, pp.91-101, 2018. ,
Theory of Rational Option Pricing, The Bell Journal of Economics and Management Science, vol.4, issue.1, p.141, 1973. ,
Social Choice Theory in HOL, Journal of Automated Reasoning, vol.43, issue.3, pp.289-304, 2009. ,
Concrete Semantics, 2014. ,
Isabelle/HOL, 2002. ,
Interest-Rate-Dependent Assets, Stochastic Calculus for Finance I, pp.143-176, 2005. ,
A constructive approach to sequential Nash equilibria, Information Processing Letters, vol.97, issue.2, pp.46-51, 2006. ,
Formalizing Arrow?s theorem, Sadhana, vol.34, issue.1, pp.193-220, 2009. ,