LCI - A lambda calculus interpeter download

LCI is an interpreter for the lambda calculus. It supports many advances features like integers, recursion, user defined operators and multiple evaluation strategies.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow LCI - A lambda calculus interpeter

LCI - A lambda calculus interpeter Web Site

nel_h2

Build Securely on Azure with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.

Download Now

Rate This Project

User Reviews

Be the first to post a review of LCI - A lambda calculus interpeter!

Additional Project Details

Operating Systems

BSD, Linux, Windows

Languages

English, Greek

Intended Audience

Education, Science/Research

Programming Language

Related Categories

C Interpreters, C Scientific Engineering

Registered

2003-06-01

Similar Business Software

Ninox

Ninox is your solution for organizing and managing complex data in a structured and efficient way. With its highly flexible user interface, you can analyze, process, and evaluate any type of data. Additionally, the Ninox API enables seamless integration with services like Google for enhanced...

See Software
Stack AI

StackAI is an enterprise AI automation platform to build end-to-end internal tools and processes with AI agents in a fully compliant and secure way. Designed for large organizations, it enables teams to automate complex workflows across operations, compliance, finance, IT, and support without...

See Software
ActCAD Software

ActCAD is a native dwg/dxf cad software suitable for professional 2D drafting and 3D modeling projects. ActCAD is trusted by over 30000 users in over 103 countries for more than 10 years. The interface, commands, icons, dialogs, shortcuts etc. are very much similar to other popular cad software...

See Software
The Asset Guardian EAM (TAG)

Meet The Asset Guardian (TAG) Mobi – Tackle Downtime Now TAG Mobi is the solution for preventive maintenance and asset management (EAM) within Microsoft Dynamics 365 Business Central. It helps manufacturing teams reduce risk and minimize downtime by offering dependable, integrated asset...

See Software
PascalABC.NET

The new generation Pascal programming language combines the simplicity of classic Pascal, a great number of modern extensions, and the broad capabilities of Microsoft .NET Framework. Free, simple, and powerful IDE. Built-in form designer for rapid development of Windows desktop applications....

See Software
AddSearch

AddSearch provides a lightning-fast, effortless, and customizable site search and recommendation tool for any website or e-commerce site. It works with any CMS and provides an Enterprise level tools to manage search results. With nearly 2000 customers globally, in Media, Telecommunications,...

See Software