Can I read A Worked Example of the Functional Interpretation on EtoBox?

A Worked Example of the Functional Interpretation by Towsner, Henry is a scholarly article available to read on EtoBox.

What is A Worked Example of the Functional Interpretation about?

The functional interpretation is a systematic, syntactic method for transforming certain non-constructive proofs into constructive proofs with explicit bounds. We illustrate the interpretation by working through a concrete, fairly simple example, with almost no reference to formal logic, and then explain the connection with the underlying proof-theoretic methods.

Author

Towsner, Henry

Published

2015

Language

EN