LambdaKit

Presentation

LambdaKit is a java-written implementation of the lambda-calculus. It is presented as a Toolbox with a set of demonstrators. The software is provided in source form exclusively and depends on nothing but a JRE System Library. Its license is free. LambdaKit is developed within the xmloperator project but has no special connection with XML.

Characteristics

LambdaKit main characteristics are robustness and predictiviy. This is achieved by the following means :

• no recursivity during beta reductions,

• no instanciation during beta reductions (lambda terms and substitutions are immediatly recycled).

Exploitation with Eclipse

To exploit this software wih Eclipse is easy : you just have to :

• create a new Java project,

• drop the source archive into its the src source folder,

• run the LambdaKit.Test class,

Main interfaces

• Type

• FunctionType

• TypeFactory

• Term

• Abstraction

• Leaf

• Pair

• TermFactory

• TermFactories

• Substitution

• BodySubstitution

• PairSubstitution

• SubstitutionFactory

• SubtitutionFactories

• Collector

• Converter

• StructureBuilder

• Reducer

• Normalizer

• TypeAssigner

LambdaKit 1.0

• lambda_kit_1_0_java_sources.zip

• lambda_kit_1_0_demonstration_page

Contact

For more information, please send a mail to didier dot demany at gmail dot com, using an object starting with [LambdaKit].