Suggestion de sujets dans votre recherche.
Recherches alternatives:
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
Image de couverture de livre
Publié 2006
Table des matières: “... Logical Relations for Recursive and Quantified Types -- Approaches to Polymorphism in Classical Sequent...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
2
Image de couverture de livre
Publié 2005
Table des matières: “... Programs -- Strong Normalization of the Dual Classical Sequent Calculus -- Termination of Fair Computations...”
Accéder au texte intégral
Électronique eBook
Ajouter aux favoris
Enregistré dans:
Outils de recherche: S'abonner aux flux RSS — Envoyer cette recherche par courriel — Enregistrer la recherche