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

(untitled) - Paseau, A