Hierarchy

Теория типов Теория типов – это система, которая определяет отношения между терминами и типами.  Термины могут быть атомарными, функциональными или […]