Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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