Yorick.
Yorick ist eine interpretierte Programmiersprache für wissenschaftliche Simulationen oder Berechnungen und andere Vorgänge. ...
 | Petitlambda.Petitlambda ist ein Dolmetscher von Lambda-Kalkül. |
| Jetzt downloaden | |
Petitlambda. Ranking & Zusammenfassung
Anzeige
Petitlambda. Stichworte
Petitlambda. Beschreibung
Petitlambda ist ein Dolmetscher von Lambda-Kalkül. Petitlambda ist ein Dolmetscher von Lambda-Kalkül. Es zeigt den Reduktionsprozess von Lambda-Begriffen. Averal Evaluierungsstrategien werden unterstützt. Das Ausgabeformat kann aus einem einfachen Text bis zum Latex ausgewählt werden.
Petitlambda. Zugehörige Software
