1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Confluence ofextensional andnon-extensionalλ-calculi withexplicitsubstitutions Delia Kesner2000 год

Confluence of extensional and non-extensional λ-calculi with explicit substitutions
статья из журнала

Страница публикацииПубликация в OpenAlex
Год издания: 2000
Авторы: Delia Kesner
Издательство: Elsevier BV
Источник: Theoretical Computer Science
Ключевые слова: Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Advanced Algebra and Logic