Fondements de la Programmation 1 Introduction - LIPN

3 janv. 2005 ... lambda-mu calcul et la machine de Krivine. Olivier Laurent. To cite this ... complète au ?-calcul, on pourra se référer au livre de J.-L. Krivine [5].


Un extrait du document

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