在您的搜寻 主题建议
在您的搜寻 主题建议
搜索替代词:
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
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...”获取全文
电子
电子书