Category:Lambda calculus

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
lambda calculus 
formal system in mathematical logic
Wikipedia-logo-v2.svg Wikipedia
Subclass offormal system
Discoverer or inventor
  • Alonzo Church (1932)
Authority control
GND ID: 4166495-4
Wikidata
Blue pencil.svg

Subcategories

This category has the following 2 subcategories, out of 2 total.

L

S

Media in category "Lambda calculus"

The following 8 files are in this category, out of 8 total.