Repository | Directory | Profile
A normative model of classical reasoning in higher order languages
2006
Peter Zahn
Synthese 148/2