Towards Resolving Type Incoherence in Transparent Intensional Logic.

Samuel Novotn, Marie Duz, William Steingartner, Jn Perhc

Browse the full EJC paper archive.