Мобильная версия

Доступно журналов:

2 361

Доступно статей:

3 493 662

 

Издательство Taylor&Francis по теме "03B40"

Отсортировать по: Порядок: Результаты:

  • Postma StefW. (Taylor & Francis Group, 1991-04-01)
    The Σλ-calculus is an extension of an applied λ-calculus designed to abstract parallel and non-deterministic function application evaluation. The abstraction is extended to include Landin's closure, and constant terms and ...