28 Jui
2012
28 Jui
'12
18: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