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.
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
Dynamic TWAIN
Sound Equalizer ActiveX
Movie Player Pro ActiveX Control
GPS-Simulator
Microsoft Windows Installer
Sound Volume ActiveX Control
HDD Firmware Serial Number Source Code
NeuroSolutions for MATLAB
Comm Operator
MASM Programmers Guide
Data Entry ActiveX Control
M Exe Editor
WordArt ActiveX
XLS to DBF Converter
C & C++
Components & Libraries
Databases & Networks
Delphi
Development Kits
Editors, IDEs & Coding Utilities
Help File Tools
Installation Builders
Integration Tools
Java
JavaScript
Languages - Others
Macro Schedulers
Management & Distribution
Presets User Defined
User Defined Protocol
Presets User Defined Filter
Raw User Defined Functions
User Defined Proxy List
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.
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 ...
