Введение в теорию программирования. Объектно-ориентированный подход

Каковы основные компоненты чистой системы типов?

(Отметьте один правильный вариант ответа.)

Варианты ответа

сорта, аксиомы, функциональные пространства(Верный ответ)

сорта, аксиомы, правила вывода

алфавит, сорта, аксиомы

Похожие вопросы

Каковы основные категории типов в иерархии .NET?

Каковы основные способы задания типа?

Каковы основные принципы объектно-ориентированного программирования?

Какие компоненты входят в состав Microsoft ASP.NET?

Какие компоненты входят в состав Microsoft ADO.NET?

Каким образом осуществляется построение типов?

Чем отличаются типы-значения от ссылочных типов?

Что отличает теорию типов от прочих теорий?

Что отличает неявные преобразования типов от явных?

Что из перечисленного является этапом развития теории типов?