28 Jui
2012
28 Jui
'12
22:19
Vu sur Lambda-the-Ultimate, les auteurs de LambdaJS ont fourni une preuve validée par Coq de leur sémantique opérationnelle: http://brownplt.github.com/2012/06/04/lambdajs-coq.html Erick