A type theory for cartesian closed bicategories (Extended Abstract).

Marcelo Fiore, Philip Saville

Browse the full LICS paper archive.