Suggested Topics within your search.
Search alternatives:
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
basics tools » basic tools, tactics tools, based tools
1
Cover Image
Published 2006
Table of Contents: “... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”
View full text
Electronic eBook
Save to List
Saved in:
2
Cover Image
Published 2005
Table of Contents: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
View full text
Electronic eBook
Save to List
Saved in:
3
Cover Image
by Hazrat, Roozbeh., Hazrat, Roozbeh.
Published 2015
Table of Contents: “...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
View full text
Electronic eBook
Save to List
Saved in:
4
Cover Image
by Hazrat, Roozbeh., Hazrat, Roozbeh.
Published 2010
Table of Contents: “... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
View full text
Electronic eBook
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search