Higher-order many-sorted categorial algebras via generalized hep-derivors

J. Climent Vidal, E. Cosme Llópez, R. Ruiz Mora, M. Vago Marzal

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать. Препринт может ещё не пройти рецензирование; проверьте, появилась ли журнальная версия.