 | lambdaapi2.النقي Lambda-Calculus في Java |
| التحميل الان | |
lambdaapi2. الترتيب والملخص
الإعلانات
- رخصة:
- MIT License
- السعر:
- FREE
- اسم الناشر:
- Didier Demany
- موقع ويب الناشر:
- http://www.xmloperator.net/
- أنظمة التشغيل:
- Mac OS X
- حجم الملف:
- 0 KB
lambdaapi2. العلامات
lambdaapi2. وصف
نقية Lambda-Calculus في جافا Lambdaapi2 عبارة عن مصدر مفتوح وجافا يعتمد على تطبيق Lambda-Calculus النقي. هدف Lambdaapi2 هو دعم تطبيقات Lambda-Calculusi.lambdaapi2 يعتمد على بنيات موضحة في تجميع حساب التفاضل والتكامل Lambda في مواقف التفاعل، والذي، الذي يرتبط بالتخفيض الضعيف للواجهة النموذجية العادية، يوفر تنفيذ تنافسي لحساب التفاضل والتكامل Lambda. متطلبات: جاوة
lambdaapi2. برامج ذات صلة
