Hina
L'informatique et les mathématiques appliqués à la logique et au langage.
Page principale
 
A propos du blog
 
Me contacter
Algorithmie et projets
Implémentation d'un lambda-calcul non-typé
Résolution algorithmique du problème SAT
Prototype de machine virtuelle
Découverte et idées
Comprendre la distinction entre syntaxe et sémantique
Découverte du lambda calcul