title: Efficient checking of intersection type equivalence
metadata.name: dc.contributor.advisor
metadata.value: Косарев Дмитрий Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Kosarev Dmitrij Sergeevic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Ибрагимов Артем Рустамович
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Ibragimov Artem Rustamovic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Москвин Денис Николаевич
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Moskvin Denis Nikolaevic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2024-07-25T11:50:10Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:50:10Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 087953
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/46425
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Данная работа рассматривает частный случай задачи сопоставления термов относительно разных аксиом эквивалентности
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: This work is considering type matching subproblem and it's complexity against different equational theories
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: типы пересечения
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: альфа-эквивалентность
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: intersection types
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: type equality
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: equational theories
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: type matching
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Efficient checking of intersection type equivalence
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Эффективная проверка эквивалентности типов-пересечений
metadata.lang: ru_RU
resources.filename: st087953.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46425/2/st087953.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 740,26 kB
resources.filename: reviewSV_review5_Ibragimov.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/46425/3/reviewSV_review5_Ibragimov.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 29,92 kB