BiCCC

(redirected from Bicartesian Closed Categories)
AcronymDefinition
BiCCCBicartesian Closed Categories