1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Call-by-name,call-by-value and theλ-calculus Gordon Plotkin1975 год

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

Страница публикацииПубликация в OpenAlex
Год издания: 1975
Авторы: Gordon Plotkin
Издательство: Elsevier BV
Источник: Theoretical Computer Science
Ключевые слова: Logic, Reasoning, and Knowledge, Semantic Web and Ontologies, Logic, programming, and type systems