Symbolic Lambda Calculus is a logical formalism based on lambda calculus and combinatory logic, in which there is only one kind of objects, which can represent either terms or equalities. It uses de Bruijn's and lambda calculus notations.

Project Activity

See All Activity >

Categories

Mathematics

License

GNU General Public License version 2.0 (GPLv2)

Follow slc

slc Web Site

You Might Also Like
Translate docs, audio, and videos in real time with Google AI Icon
Translate docs, audio, and videos in real time with Google AI

Make your content and apps multilingual with fast, dynamic machine translation available in thousands of language pairs.

Google Cloud’s AI-powered APIs help you translate documents, websites, apps, audio files, videos, and more at scale with best-in-class quality and enterprise-grade control and security.
Learn More
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of slc!

Additional Project Details

Operating Systems

Linux, BSD, Windows

Intended Audience

Science/Research

Programming Language

C

Related Categories

C Mathematics Software

Registered

2010-03-24
Report inappropriate content