A normative model of classical reasoning in higher order languages
Vol. 148/2
Peter Zahn
Volume
Title
Author