Coherence and normalisation-by-evaluation for bicategorical cartesian closed structure.

Marcelo Fiore, Philip Saville

Browse the full LICS paper archive.