A cartesian-closed category for higher-order model checking.

Martin Hofmann, Jrmy Ledent

Browse the full LICS paper archive.