Présentation de l'auteur Henk Barendregt :

Livres publiés jusqu'à présent par Henk Barendregt :

Le calcul lambda avec les types - Lambda Calculus with Types
Cambridge
Ce manuel avec exercices révèle dans les formalismes, jusqu'à présent principalement utilisés pour la...
Le calcul lambda avec les types - Lambda Calculus with Types
Le calcul lambda. Sa syntaxe et sa sémantique - The Lambda Calculus. Its Syntax and...
Kings College Pubn
Le calcul lambda, traité dans ce livre principalement dans...
Le calcul lambda. Sa syntaxe et sa sémantique - The Lambda Calculus. Its Syntax and Semantics
Un satellite de calcul lambda - A Lambda Calculus Satellite
Kings College Pubn
En 1936, la notion de calculabilité intuitive a été opérationnalisée de deux manières différentes...
Un satellite de calcul lambda - A Lambda Calculus Satellite
Un satellite de calcul lambda - A Lambda Calculus Satellite
Kings College Pubn
En 1936, la notion de calculabilité intuitive a été opérationnalisée de deux manières différentes...
Un satellite de calcul lambda - A Lambda Calculus Satellite
<<
1
>>

© Book1 Group - tous droits réservés.
Le contenu de ce site ne peut être copié ou utilisé, en tout ou en partie, sans l'autorisation écrite du propriétaire.
Dernière modification: 2024.11.14 07:32 (GMT)