Juan Climent Vidal

Artykuły

A 2-Categorical Framework for the Syntax and Semantics of Many-Sorted Equational Logic

Reports on Mathematical Logic, Number 45, s. 37-95
Data publikacji online: 20 września 2010