Home > By category > Developer Tools >Development Kits > LCI - A lambda calculus interpeter



LCI - A lambda calculus interpeter

  • Downloads: 
  • Views: 
  • Rating:

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

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

Publisher: lci.sourceforge.net | License: Freeware | Price: 0.00
Version: 32 | Size: 1024 KB | Platform: Linux, Unix, WinOther
Released Date: 19-11-2012 | Rating: 0 | Title: LCI - A lambda calculus interpeter

Author Url: http://lci.sourceforge.net
Program Info Url: http://lci.sourceforge.net
Download Url: http://sourceforge.net/projects/lci/files/lci-0.6-win32.zip/download?use_mirror=hivelocity

LCI - A lambda calculus interpeter related downloads:

Bert's Computing Suite - My personal computing suite provides some programs I developed as a hobbyist and currently include a lambda calculus interpreter and a calculator which solves arithmetic expressions; both are written in C++.

Bert's Computing Suite - My personal computing suite provides some programs I developed as a hobbyist and currently include a lambda calculus interpreter and a calculator which solves arithmetic expressions; both are written in C++.

Orangeboard Lambda Calculus Interpreter - A simple .NET/mono application which interprets and evaluates untyped lambda calculus expressions.

Lambda Animator - Lambda Animator is designed as an accessible and handy application that can be used for demonstrating and experimenting with alternative reduction strategies in the lambda calculus.

The Combinator Engine - This is a collection of several simple functional languages all based on combinator graph reduction techniques for interpretation. For now there's only one package here: lazy-l, which is an interpreter for Alonzo Church's untyped lambda calculus.

Shareware Connection periodically updates pricing and software information of 'LCI - A lambda calculus interpeter' from company source 'lci.sourceforge.net' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'LCI - A lambda calculus interpeter' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of LCI - A lambda calculus interpeter.

New Reviews

PictBear - Nowadays, a majority of PC users resort to digital image editing once in a while. It may be required for retouching image captured in smart phones or for creating an album in Facebook. For some people, tinkering with digital images is a pastime ...

CyberGhost VPN - There are so many ways available to browse the web nowadays. You can use a plethora of devices and pick from various service providers to get online. However, tech savvy users resort to additional measures to access the internet without being ...

KeePass Password Safe - Using password becomes mandatory for performing various online operations, at both home and workplace. For accessing email accounts, shopping online, making banking transactions and similar tasks it is necessary to use user ids and passwords ...

Argente - Registry Cleaner - Keeping the Windows registry clean and optimized is essential for getting optimum performance from the PC. While most users do not prefer tinkering with registry settings, it may get laden with erroneous and invalid entries over prolonged usage. ...

DriverPack Solution Professional - To keep your laptop or desktop performing well consistently, it is important to pay attention to some aspects. Using top antivirus utility, cleaning up junk feels periodically are some such examples. However, you also need to keep drivers of ...

Any Video Converter Free for Mac - Apple does have some stellar media applications for users of Mac OS but at times, you may feel the need for using third party apps too. Its FCP is regarded as an industry leading and powerful video editor but average Mac users may not need such a ...

SeaTools for Windows - Among all the hardware components used in a desktop or laptop, the hard disk is a prime one. In the hard disk is not in good shape, even a PC with powerful CPU and lots of RAM will malfunction or run sluggishly. Hard disk failure can lead to data ...

DriveHQ Online Backup Enterprise Edition - For individual users as well as organizations, taking backup of data is vital nowadays. You really cannot count on the PC hard drive solely to store your data forever in a secure manner, as it is! Backup software is a prerequisite and choosing ...

PC Wizard 2012 - Average computer users use their laptops and desktops to run productivity applications, watch movies, browse web and perform other computing needs. However, seasoned users think beyond these and they need to find out in depth information about ...

Windows Live Family Safety - Using parental control applications has become a necessity for those people who have tech savvy kids and computers at home. In fact, you should use such software even if your kid is not tech savvy. Needless to say, children depend on internet for ...




New Downloads

Data Puppy Lite (64-bit)

Data Puppy Lite is a database
migration tool for Oracle,
MySQL, SQL Server &
PostgreSQL that demonstrates
the basic ...

Asus Recovery Disk Wizard

Zoftar Software\'s Asus
recovery disk wizard. This
restore disk wizard, with 4
easy steps, will make sure you
get the ...

VintaSoft Imaging .NET SDK

VintaSoft Imaging .NET SDK -
an impressive imaging library
for .NET, WPF, WEB. WinForms,
WPF, WebForms controls for
image ...

GSpread.NET

GSpread.NET is a fast and easy
to use open source library
designed for developers
working with Google
Spreadsheets by ...

dbForge Compare Bundle for
MySQL

MySQL Compare Bundle contains
two separate tools, dbForge
Schema Compare for MySQL and
dbForge Data Compare for MySQL

Nevron Barcode for SSRS

Nevron Barcode for Reporting
Services is an advanced report
for all versions of Microsoft
Reporting Services. It is ...

ESBPCS for VCL

ESB Professional Computation
Suite (ESBPCS for VCL)
provides a huge collection of
Embarcadero (CodeGear) Delphi
Routines ...

MindFusion.Charting for WPF

Easy to use .NET gauge and
charting controls for WPF
applications. The package
includes Graph, Line, Area,
Bar, Radar and ...

Viscomsoft .NET PDF Viewer
Pro SDK

The developer can easily add
search for text, continuous
scroll pdf and tiff viewer
capability to their
applications.

Virto SharePoint Workflow
Activities Kit

Virto SharePoint Workflow
Activities Kit is a no-code
set of over 230 SharePoint
activities for creating custom
Workflow ...

FLV Encoder Directshow
Filter

Support encode FLV video file
in any Directshow base
application. Support user
define video bitrate, audio
bitrate, frame ...

GroupDocs.Signature for
.NET

.NET library that allows
developers to build new or
enhance existing apps with
legally-binding electronic
signature ...