Introduction to the λ-calculus

Machine Logic at the junction of computation, logic and mathemati

This website provides an introduction to the λ-calculus, exploring its syntax, computation, and theoretical foundations. It discusses the impact of λ-calculus on computer science, including functional programming and type theories, and explains key concepts such as bound and free variables, substitution, and λ-conversions.

Comments

Share:

Visit Website

Category

Topics

Lambda Calculus

Computer Science

You might also like

Math.now: Free Math AI Solver powered by

Solve math problems instantly with accurate, step-by-step solutio 🌱 Sponsored

AI Math Solver Powered by Math GPT Free

Solve math problems with the GPT-4o—upload text or images for fre 🌱 Sponsored

JiraCLI

The Missing Command-line Tool for Atlassian Jira

Radiooooo

The Musical Time Machine

RadioGarden

An interactive map of live radio stations across the globe.

Vision Pro

Welcome to the era of spatial computing

Zed

Code at the speed of thought

Keep

The open-source alerts management and automation platform

Drumhaus

The ultimate browser controlled rhythmic groove machine

VectorWiki

Biggest SVG vector logo collection on the web

1Password 8 for Mac

A new generation of the world's most loved password manager

Equipboard

The world's largest community of artists and their gear.

Bluesky Directory

A curated collection of all things relating to the Blue Sky socia

Sensey Ai

Sensey: Outsmart the competition

Where Filmed

Finding the exact location of the film shoot

General Science

Teaching people online for free about Science and Math

Screen Prices

The best place to view and compare computer screens.

mcbroken

Is the McDonald's ice cream machine broken?

Genetic Algorithm Cars

Breed cars and make them evolve with natural selection.

FreeTinyTools

A huge collection of free online web tools.

GPT4All

A chatbot trained on a massive collection of clean data

PicoCalc

A Fully-Functional Clone of Vi