Fitch's Argument and Typing Knowledge. - Paseau, A (Notre Dame Journal of Formal Logic, 2008)