Définitions par réécriture dans le lambda-calcul : confluence ...

14 janv. 2009 ... Lambda Calcul Simplement Typé avec plusieurs Types .... Eric de m'avoir fait découvrir « Getting Things Done », un livre qui m'a permis de ...


Un extrait du document

Top Livres   ||   De A a Z   || De Z a A