Category:Lambda calculus

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); ระบบรูปนัยหนึ่งในคณิตตรรกศาสตร์ (th); фармальная сыстэма ў матэматычнай лёгіцы (be-tarask); формален систем во математичката логика (mk); Een formeel systeem in de logische rekenkunde (nl); sistema formal de lògica matemàtica (ca); formala komputa sistemo (eo); formaalin laskennan malli (fi); 추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계 (ko); formal system in mathematical logic (en); ալգորիթմ հասկացության աքսիոմատիկ մեթոդ հաշվելիության ձևայնացման և անալիզի համար (hy); formální systém a výpočetní model používaný v teoretické informatice a matematice (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); λ-հաշվում (hy); Λ-λογισμος, Λ-λογισμός, Λάμβδα λογισμό, Λογισμός λ, Λάμδα λογισμός (el); Лямбда исчисление, Λ-исчисление, Ламбда-исчисление (ru); Càlcul λ (ca); 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); Λ-reikningur, Lambda reikningur (is); حساب لامبدا (fa); Lambda 演算, Lambda递归函数, 无类型 lambda 演算, Lambda可定义函数, Lambda演算, 无类型lambda演算, Λ-递归函数 (zh); 람다 셈법, Λ-칼큘러스, 람다 계산법, 람다대수 (ko); calculul λ, λ-calcul (ro); Lambda calculus (tl); calcolo lambda, lambda-calcolo, calcolo lambdae (it); Лямбда числення (uk); แลมบ์ดาแคลคูลัส, λ-แคลคูลัส (th); Wyrażenia lambda, Lambda-wyrażenia (pl); תחשיב למבדא, למבדה קלקולוס (he); Labdacalculus, Lambda Calculus, λ-calculus (nl); lambda kalkulus, λ-kalkul (cs); Lambda Cálculo (pt); ラムダ算法, ラムダ式, Λ計算 (ja); 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)