Podobne hasła w twoim wyszukiwaniu.
Podobne hasła w twoim wyszukiwaniu.
Inne możliwości wyszukiwania:
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
basics tools » basic tools, tactics tools, based tools
functions computation » function computation, functions composition, function composition
programming recursion » programming decision, programming session, programming decisions
programming defining » programming designing, programming learning, programming reasoning
basics tools » basic tools, tactics tools, based tools
1
Wydane 2006
Spis treści:
“... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”Dokumenty pełnotekstowe
Elektroniczne
E-book
2
Wydane 2005
Spis treści:
“... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”Dokumenty pełnotekstowe
Elektroniczne
E-book