On the Unification Problem for Cartesian Closed Categories

Paliath Narendran, Frank Pfenning, Richard Statman

Browse the full LICS paper archive.