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); Լամբդա արտահայտություն (hy); Λ演算 (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); Λογισμός λάμδα (el); Lambda račun (hr); лямбда-вылічэньне (be-tarask); Lambda račun (sh); calculul lambda (ro); Lambda kalkul (sk); ラムダ計算 (ja); Lambdacalculus (nl); Phép tính lambda (vi); லாம்டா நுண்கணிதம் (ta); λ演算 (zh-tw); cálculo lambda (pt); Ламбда рачун (sr); Лямбда-числення (uk); Kalkulong lambda (tl); Càlcul lambda (ca); λ演算 (zh-sg); แคลคูลัสแลมบ์ดา (th); rachunek lambda (pl); lambdakalkyle (nb); Lambda hesablaması (az); ламбда-пресметка (mk); Lambda-arvutus (et); Lambdakalkyyli (fi); جیاکاری و تەواوکاری لامدا (ckb); lambda calculus (en); حسابات اللامدا (ar); λ演算 (zh-hans); جبر لاندا (fa) 計算の実行を関数への引数評価としてモデル化した計算体系 (ja); système formel de la logique mathématique (fr); фармальная сыстэма ў матэматычнай лёгіцы (be-tarask); Een formeel systeem in de logische rekenkunde (nl); sistema formal de lògica matemàtica (ca); ระบบรูปนัยหนึ่งในคณิตตรรกศาสตร์ (th); формален систем во математичката логика (mk); formala komputa sistemo (eo); formal system in mathematical logic (en); ալգորիթմ հասկացության աքսիոմատիկ մեթոդ հաշվելիության ձևայնացման և անալիզի համար (hy); 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); Λ-reikningur, Lambda reikningur (is); λ-հաշվում (hy); Λ-λογισμος, Λ-λογισμός, Λάμβδα λογισμό, Λογισμός λ, Λάμδα λογισμός (el); Càlcul λ (ca); Лямбда исчисление, Λ-исчисление, Ламбда-исчисление (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); λ-пресметка, ламбда пресметка (mk); حساب لامبدا (fa); Lambda 演算, Lambda递归函数, 无类型 lambda 演算, Lambda可定义函数, Lambda演算, 无类型lambda演算, Λ-递归函数 (zh); 람다 셈법, Λ-칼큘러스, 람다 계산법, 람다대수 (ko); calculul λ, λ-calcul (ro); ラムダ算法, ラムダ式, Λ計算 (ja); calcolo lambda, lambda-calcolo, calcolo lambdae (it); Lambda Cálculo (pt); แลมบ์ดาแคลคูลัส, λ-แคลคูลัส (th); Wyrażenia lambda, Lambda-wyrażenia (pl); תחשיב למבדא, למבדה קלקולוס (he); Labdacalculus, Lambda Calculus, λ-calculus (nl); Лямбда числення (uk); Netipizirani lambda račun (hr); Lambda calculus (tl); Lambda-kalkyyli (fi); λ-calculus, lambda calculi, λ-calculi, untyped lambda calculus, type-free lambda calculus (en); Lambda kalkulo, Λ-abstraktado, Lambdokalkulo, Lambda-abstraktado, Λ abstraktado (eo); Lambda kalkulus (cs); லம்டா நுண்கணிதம் (ta)
lambda calculus 
formal system in mathematical logic
Upload media
Wikipedia-logo-v2.svg  Wikipedia
Instance ofmathematical model
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 13 files are in this category, out of 13 total.