Теория типов с записями

• Теория типов с записями используется в обработке естественного языка и вычислительной семантике. 
• Тип записи состоит из набора полей, где метки полей уникальны внутри одного типа записи. 
• Запись содержит объекты, а не типы, и каждый объект должен иметь тип, объявленный в соответствующем поле. 
• Пример типа Pt включает поля для различных объектов и операций. 
• Статья о семантике является заглушкой и предлагает возможность расширения для помощи Википедии.