Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
function computing » education computing, generation computing
basics tools » basic tools, tactics tools, based tools
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
function computing » education computing, generation computing
basics tools » basic tools, tactics tools, based tools
1
Pubblicazione 2006
Sommario:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Testo
Elettronico
eBook
2
Pubblicazione 2005
Sommario:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Testo
Elettronico
eBook
3
Sommario:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
Testo
Testo
Elettronico
eBook
4
Sommario:
“... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
Testo
Testo
Elettronico
eBook