PetitLambda 0.1
Licence: Gratuit Taille du fichier: N/A
Note des utilisateurs: 4.0/5 - 1 Votes
Veuillez patienter... Votre lien de téléchargement est en cours de vérification pour le contenu malveillant.
Vous pourrez télécharger en 5 secondes.
Vous pourrez télécharger en 5 secondes.
Sur PetitLambda
Un interprète de calcul lambda. Il montre le processus de réduction des termes lambda. Plusieurs stratégies d’évaluation sont appuyées. Le format de sortie peut être sélectionné à partir de LaTex, texte clair.