lci Manual

Kostas Chatzikokolakis

12 March 2006

This manual describes the use of lci, which is an advanced interpreter for the λ-calculus. This program was first developed by Kostas Chatzikokolakis as an assignment for the “Theory of Programming Languages” course in the Department of Informatics of University of Athens. Later it became an open source project licenced under GPL, in order to be used and improved by the open source community. It's main purpose is to compute the normal form of pure λ-calculus terms. Moreover it supports various extensions which are, however, implemented through the pure calculus.

This document was translated from LATEX by HEVEA.