Sugestões de Tópicos dentro de sua pesquisa.
Sugestões de Tópicos dentro de sua pesquisa.
Pesquisas alternativas:
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
function computing » education computing, generation computing
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
function computing » education computing, generation computing
1
Publicado em 2006
Sumário:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Obter o texto integral
Recurso Electrónico
livro electrónico
2
Publicado em 2005
Sumário:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Obter o texto integral
Recurso Electrónico
livro electrónico