## Lambda Calculus with Types

- Hendrik Pieter Barendregt, Wil Dekkers, Richard Statman
- Perspectives in logic
- 2013

@article{Pantelis2014ProgramVO, title={Program Verification of Numerical Computation}, author={Garry Pantelis}, journal={CoRR}, year={2014}, volume={abs/1401.1290} }

- Published 2014 in ArXiv

These notes outline a formal method for program verification of numerical computation. It forms the basis of the software package VPC in its initial phase of development. Much of the style of presentation is in the form of notes that outline the definitions and rules upon which VPC is based. The initial motivation of this project was to address some practical issues of computation, especially of numerically intensive programs that are commonplace in computer models. The project evolved into a… CONTINUE READING