1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Proof nets and thecall-by-valueλ-calculus Beniamino Accattoli2015 год

Proof nets and the call-by-value λ-calculus
статья из журнала

Полный текстСтраница публикацииПубликация в OpenAlex
Год издания: 2015
Авторы: Beniamino Accattoli
Издательство: Elsevier BV
Источник: Theoretical Computer Science
Ключевые слова: Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge
Другие ссылки: Theoretical Computer Science (HTML)
HAL (Le Centre pour la Communication Scientifique Directe) (PDF)
HAL (Le Centre pour la Communication Scientifique Directe) (HTML)
HAL (Le Centre pour la Communication Scientifique Directe) (HTML)
HAL (Le Centre pour la Communication Scientifique Directe) (HTML)