Lambda Animator
Téléchargez gratuitement Lambda Animator 6.1 dans notre logithèque. Parmis les utilisateurs de ce programme, les versions les plus téléchargées sont les versions 6.1 et 6.0. Mike Thyer est l'auteur de ce programme gratuit.
Du développeur:
Lambda Animator is a tool for demonstrating and experimenting with alternative reduction strategies in the lambda calculus. Eager languages reduce arguments before function application. Lazy languages reduce arguments, if needed, after function application.
Reductions can also be performed within function bodies. Performing reductions within functions can have a specializing effect.
Au vu de votre téléchargement de Lambda Animator, nous vous conseillons des programmes similaires tels que FluidSIM-P, PDF-XChange Pro ou Network Inventory Advisor.
Commentaires
Merci d'ajouter un commentaire expliquant les raisons de votre vote.