|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Unified Semantics for Modality and Lambda-terms via Proof Polynomialsстатья
- Автор: Artemov Sergei
- Сборник: Algebras, Diagrams and Decisions in Language, Logic and Computation
- Серия: CSLI Lecture Notes
- Том: 144
- Глава в коллективной монографии
- Год издания: 2002
- Место издания: CSLI Publications Stanford University
- Первая страница: 89
- Последняя страница: 118
- Добавил в систему: Золин Евгений Евгеньевич