Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
programming defining » programming designing, programming learning, programming reasoning
based tools » based tool, basic tools
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
programming defining » programming designing, programming learning, programming reasoning
based tools » based tool, basic tools
1
Published 2006
Table of Contents:
“...Types for Hierarchic Shapes -- Linear Regions Are All You Need -- Type-Based Amortised Heap-Space...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”View full text
Electronic
eBook