Category:Lambda calculus

From Wikimedia Commons, the free media repository
Jump to navigation Jump to search
cálculo lambda (es); Λ 演算 (yue); Lambda-kalkulus (hu); Lambda-reikningur (is); Лямбда-исчисление (ru); Lambda-Kalkül (de); Лямбда-ларар (ce); جبر لاندا (fa); Λ演算 (zh); Lambdakalkyle (da); Lamda Kalkülüs (tr); λ演算 (zh-hk); lambdakalkyl (sv); תחשיב למדא (he); λ演算 (zh-hant); λ演算 (zh-cn); 람다 대수 (ko); lambda-kalkulo (eo); lambda kalkul (cs); Lambda račun (bs); Lambda calcolo (it); ল্যাম্‌ডা ক্যালকুলাস (bn); lambda-calcul (fr); Lambda račun (hr); Λογισμός λάμδα (el); Lambda račun (sh); calculul lambda (ro); Lambda kalkul (sk); Lambdakalkyyli (fi); ラムダ計算 (ja); Phép tính lambda (vi); Lambdacalculus (nl); லாம்டா நுண்கணிதம் (ta); λ演算 (zh-tw); Ламбда рачун (sr); Лямбда-числення (uk); Kalkulong lambda (tl); càlcul lambda (ca); λ演算 (zh-sg); แคลคูลัสแลมบ์ดา (th); rachunek lambda (pl); lambdakalkyle (nb); Lambda hesablaması (az); cálculo lambda (pt); ламбда-пресметка (mk); Lambda-arvutus (et); جیاکاری و تەواوکاری لامدا (ckb); lambda calculus (en); حسابات اللامدا (ar); λ演算 (zh-hans); лямбда-вылічэньне (be-tarask) Een formeel systeem in de logische rekenkunde (nl); формален систем во математичката логика (mk); système formel de la logique mathématique (fr); formal system in mathematical logic (en); фармальная сыстэма ў матэматычнай лёгіцы (be-tarask); formala komputa sistemo (eo); výpočetní model (cs); et formelt system indenfor den matematiske logik (da) Cálculo λ, Lambda-cálculo, Lambda calculus, Calculo lambda, Lambda-calculo, Lambda Calculo, Cálculo-λ, Lambda Cálculo (es); lambda calcul, λ-calcul (fr); Netipizirani lambda račun (hr); Лямбда исчисление, Λ-исчисление, Ламбда-исчисление (ru); Lambda-Notation, Lambdakalkül, Alpha-Konversion, Lambda-Operator, Lambda-Ausdruck, Churchscher Lambda-Kalkül (de); Giải tích lambda, Lambda calculus, Tính toán lambda (vi); Lambda Cálculo (pt); Lambda 演算, Lambda递归函数, 无类型 lambda 演算, Lambda可定义函数, Lambda演算, 无类型lambda演算, Λ-递归函数 (zh); Λ-λογισμος, Λ-λογισμός, Λάμβδα λογισμό, Λογισμός λ, Λάμδα λογισμός (el); calculul λ, λ-calcul (ro); ラムダ算法, ラムダ式, Λ計算 (ja); Λ-reikningur, Lambda reikningur (is); Lambda kalkulus (cs); 람다 셈법, Λ-칼큘러스, 람다 계산법, 람다대수 (ko); Wyrażenia lambda, Lambda-wyrażenia (pl); תחשיב למבדא, למבדה קלקולוס (he); Labdacalculus, Lambda Calculus, λ-calculus (nl); Calcolo lambda, Lambda-calcolo, Calcolo lambdae (it); Lambda calculus (tl); Лямбда числення (uk); Lambda-kalkyyli (fi); λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus (en); Lambda kalkulo, Λ-abstraktado, Lambdokalkulo, Lambda-abstraktado, Λ abstraktado (eo); λ-пресметка, ламбда пресметка (mk); லம்டா நுண்கணிதம் (ta)
lambda calculus 
formal system in mathematical logic
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Subclass offormal system
Part ofcategory theory
Named after
Discoverer or inventor
  • Alonzo Church (1932)
Authority control
Edit infobox data on Wikidata

Subcategories

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

A

K

P

S

Media in category "Lambda calculus"

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