Helmut Brandl

Interests:

• Lambda Calculus

  Go to this site to read some papers on lambda calculus. Lambda calculus is a fascinating topic because it is a model of computation. All computable functions can be expressed in lambda calculus.

• Certified Programming

  How to write correct programs and know it?