PetitLambda 0.1

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.0/5 - ‎1 ‎Voti

Interprete del lambda calculus. Mostra un processo di riduzione dei termini lambda. Sono supportate diverse strategie di valutazione. Il formato di output può essere selezionato dal lattice, testo normale.

cronologia delle versioni

  • Versione 0.1 pubblicato il 2006-11-07
    Diverse correzioni e aggiornamenti
  • Versione 0.1 pubblicato il 2006-11-07

Dettagli del programma