LambdaAPI2

Pure lambda-calculus in Java
Download

LambdaAPI2 Ranking & Summary

Advertisement

  • Rating:
  • License:
  • MIT License
  • Price:
  • FREE
  • Publisher Name:
  • Didier Demany
  • Publisher web site:
  • http://www.xmloperator.net/
  • Operating Systems:
  • Mac OS X
  • File Size:
  • 0 KB

LambdaAPI2 Tags


LambdaAPI2 Description

Pure lambda-calculus in Java LambdaAPI2 is an open source and Java based implementation of pure lambda-calculus. LambdaAPI2's aim is to support applications of lambda-calculus.LambdaAPI2 is based on constructs described in Compiling the Lambda-calculus into Interaction Combinators, which, associated to the weak reduction to interface normal form, provides a competitive implementation of lambda-calculus. Requirements: · Java


LambdaAPI2 Related Software

About SoftwareSea