Lambda

Interpréteur de lambda calcul

2004

Projet réalisé dans le cadre des études

Ocaml, Ocamlyacc, Ocamllex

Description

Il s'agit d'un interpréteur de lambda calcul réalisé dans le cadre d'un cours de calculabilité. Furent également implémentés une machine de Turing, et un interpréteur de fonctions récursives.