TypedLambda

Presentation

TypedLambda is a java-written implementation of the simply typed 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. LambdaAPI is developed within the xmloperator project but has no special connection with XML.

Characteristics

TypedLambda 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 TypedLambda.Test class,

Main interfaces

• Type

• FunctionType

• FunctionTypeBase

• Term

• Abstraction

• Leaf

• Pair

• TermFactory

• TermFactories

• Substitution

• BodySubstitution

• PairSubstitution

• SubstitutionFactory

• SubtitutionFactories

• Collector

• ConverterToTree

• StructureBuilder

• Reducer

• Inferencer

• TypeAssigner

TypedLambda 1.0

• typed_lambda_1_0_java_sources.zip

• typed_lambda_1_0_demonstration_page

TypedLambda 1.1

• typed_lambda_1_1_java_sources.zip

• typed_lambda_1_1_readme

• typed_lambda_1_1_demonstration_page

Contact

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