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

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

2 361

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

3 493 662

 
Расширенный поиск

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

Описание

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

  • THE Σλ-CALCULUS AND DERIVED PROGRAM FORMS
    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 ...