Classe de lambda-calcul virtuelle
Proposition de stage (niveau master 2)
Sujet:
Le serveur wims offre la possibilité
d'ouvrir et de gérer des "classes" virtuelles, permettant aux étudiants
de travailler sur le web. Le travail proposé consiste à concevoir
et réaliser une classe virtuelle pour le lambda-calcul à partir des
exercices formulés sous forme traditionnelle
(qu'on pourra bientôt consulter ici).
Encadrement:
Laboratoire d'accueil:
Prérequis:
Le stagiaire devra connaître le lambda-calcul
et s'adapter au langage de programmation interne
à wims (qui est du genre shell).
Matériel:
Table, chaise, papier, stylo-bille, tableau, craie, bibliothèque,
café, terminal, lumière(s).
Cette page est accessible par internet: http://math.unice.fr/~ah/stages/wims.html.