CLICS II

AcronymDefinition
CLICS II➣Categorical Logic in Computer Science II