 | Lambdaapi2.Reiner Lambda-Kalkül in Java |
| Jetzt downloaden | |
Lambdaapi2. Ranking & Zusammenfassung
Anzeige
- Lizenz:
- MIT License
- Preis:
- FREE
- Name des Herausgebers:
- Didier Demany
- Website des Verlags:
- http://www.xmloperator.net/
- Betriebssysteme:
- Mac OS X
- Dateigröße:
- 0 KB
Lambdaapi2. Stichworte
Lambdaapi2. Beschreibung
Reiner Lambda-Kalkül in Java Lambdaapi2 ist eine Open Source- und Java-basierte Implementierung des reinen Lambda-Kalküls. Das Ziel von Lambdaapi2 besteht darin, Anwendungen von lambda-calculus.lambdaapi2 zu unterstützen, die auf Konstrukten basiert, die beim Kompilieren des Lambda-Kalküls in Interaktionsmombinatoren beschrieben werden, der mit der schwachen Reduzierung der normalen Schnittstelle in Verbindung steht, eine wettbewerbsfähige Implementierung von Lambda-Kalkulus bietet. Anforderungen: · Java
Lambdaapi2. Zugehörige Software
