1
Taula de continguts: ... -- Reusable Actions: Functions -- Functional Programming Tools in Python -- Further Reading -- Exercises...
Obtenir text complet
Electrònic eBook
2
Publicat 2005
Taula de continguts: ... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...
Obtenir text complet
Electrònic eBook