A type theory for cartesian closed bicategories

Philip Saville, Marcelo Fiore

Research output: Contribution to conference › Abstract

Fingerprint

Dive into the research topics of 'A type theory for cartesian closed bicategories'. Together they form a unique fingerprint.

Mathematics