在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
programming defining » programming designing, programming learning, programming reasoning
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
programming defining » programming designing, programming learning, programming reasoning
1
出版 2006
书本目录:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”获取全文
电子
电子书
2
出版 2005
书本目录:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”获取全文
电子
电子书
3
书本目录:
“...Introduction -- Basics -- Defining functions -- Lists -- Changing heads! -- A bit of logic and set...”
获取全文
获取全文
电子
电子书
4
书本目录:
“... -- 2. Defining functions -- 2.1 Formulas as functions -- 2.2 Anonymous functions -- 3. Lists -- 3.1...”
获取全文
获取全文
电子
电子书