Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
texts » text, tests
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
texts » text, tests
1
Publicado 2006
Table of Contents:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Ligazón do recurso
Electrónico
eBook
2
Publicado 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Ligazón do recurso
Electrónico
eBook
3
Table of Contents:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
4
Publicado 2005
Table of Contents:
“... -- On the Number of Random Digits Required in MonteCarlo Integration of Definable Functions -- Pure Nash Equilibria...”Ligazón do recurso
Electrónico
eBook
5
Table of Contents:
“... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook