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 - Computability theory - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Add to Reading List Document Date: 2006-03-13 15:27:23 Open Document File Size: 88,53 KB Share Result on Facebook Company Nil / Character / / Facility University of Athens / / IndustryTerm File processing / lower precedence operators / / Organization University of Athens / Department of Informatics / / Position advanced interpreter for the λ-calculus / advanced interpreter / / ProgrammingLanguage Haskell / Prolog / / SocialTag Mathematical logic Recursion Computability theory Combinatory logic Logic in computer science Fixed-point combinator Associative property Operator associativity Function Mathematics

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 ChatzikokolakisAdd to Reading List