Результаты поиска - function computing ((programming recursion) or (programming defining)) basic tools~

Альтернативы поиска:
programming recursion » programming decision , programming session , programming decisions
programming defining » programming designing , programming learning , programming reasoning
function computing » education computing , generation computing

Опубликовано 2006

Оглавление: “... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”
Полный текст

Электронный ресурс eКнига

Опубликовано 2005

Оглавление: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Полный текст

Электронный ресурс eКнига

по Hazrat, Roozbeh., Hazrat, Roozbeh.
Опубликовано 2015

Оглавление: “...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Полный текст

Электронный ресурс eКнига

по Hazrat, Roozbeh., Hazrat, Roozbeh.
Опубликовано 2010

Оглавление: “... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
Полный текст

Электронный ресурс eКнига