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
practice tools » practices tools, practical tools, practice topics
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
practice tools » practices tools, practical tools, practice topics
1
Published 2006
Table of Contents:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”View full text
Electronic
eBook
2
Table of Contents:
“...Programming and Reasoning with Equations -- to Haskell -- Equational Reasoning -- Recursion...”
View full text
View full text
Electronic
eBook