Relative Full Completeness for Bicategorical Cartesian Closed Structure.

Marcelo Fiore, Philip Saville

Browse the full FOSSACS paper archive.