A normative model of classical reasoning in higher order languages

Peter Zahn

pp. 309-343


This document is unfortunately not available for download at the moment.

Not implemented yet !