CLICS II

AcronymDefinition
CLICS IICategorical Logic in Computer Science II