Lambdaapi2. Classifica e riepilogo
- Nome editore:
- Didier Demany
- Sito web dell'editore:
- http://www.xmloperator.net/
- Sistemi operativi:
- Mac OS X
- Dimensione del file:
- 0 KB
Lambdaapi2. Tag
Lambdaapi2. Descrizione
Pure Lambda-Calculus in Java LAMBDAAPI2 è un'implementazione open source e Java di Pure Lambda-Calculus. L'obiettivo di LambdaApi2 è quello di supportare le applicazioni di Lambda-calculus.lambdaapi2 si basa su costrutti descritti nella compilazione del calcolo della Lambda in combinatori di interazione, che, associati alla debole riduzione del modulo normale interfacciabile, fornisce un'implementazione competitiva di Lambda-Calculus. Requisiti: · Java.
Lambdaapi2. Software correlato