Implementation of Transparent Intensional Logic Framework in Haskell.

Samuel Novotn, Marie Duz, William Steingartner

Browse the full EJC paper archive.