Category:Lambda calculus

<nowiki>cálculo lambda; λ 演算; lambda-kalkulus; lambda-reikningur; лямбда-исчисление; Lambda-Kalkül; Лямбда-ларар; Լամբդա արտահայտություն; λ演算; lambdakalkyle; lamda Kalkülüs; λ演算; lambdakalkyl; лямбда-числення; λ演算; Lambda-kalkulo; λογισμός λάμδα; 람다 대수; תחשיב למדא; lambda-kalkulo; lambda kalkul; Lambda račun; lambda calcolo; ল্যাম্‌ডা ক্যালকুলাস; lambda-calcul; جبر لاندا; lambda račun; лямбда-вылічэньне; lambda račun; ラムダ計算; lambdacalculus; லாம்டா நுண்கணிதம்; λ演算; Phép tính lambda; lambda-arvutus; ламбда-пресметка; cálculo lambda; ламбда рачун; lambda račun; kalkulong lambda; Càlcul lambda; λ演算; แคลคูลัสแลมบ์ดา; rachunek lambda; lambdakalkyle; Lambda hesablaması; lambdakalkyyli; lambda kalkul; calculul lambda; جیاکاری و تەواوکاری لامدا; lambda calculus; حسابات اللامدا; λ演算; λ演算; sistema formale definito nel 1936 dal matematico Alonzo Church; système formel de la logique mathématique; фармальная сыстэма ў матэматычнай лёгіцы; sistema formal de lògica matemàtica; formale Sprache zur Untersuchung von Funktionen; ալգորիթմ հասկացության աքսիոմատիկ մեթոդ հաշվելիության ձևայնացման և անալիզի համար; et formelt system indenfor den matematiske logik; 計算の実行を関数への引数評価としてモデル化した計算体系; ระบบรูปนัยหนึ่งในคณิตตรรกศาสตร์; een formeel systeem in de logische rekenkunde; formální systém a výpočetní model používaný v teoretické informatice a matematice; مبدا; 추상화와 함수 적용 등의 논리 연산을 다루는 형식 체계; formal system in mathematical logic; formala komputa sistemo; формален систем во математичката логика; formaalin laskennan malli; cálculo λ; lambda-cálculo; lambda calculus; calculo lambda; lambda-calculo; lambda Calculo; cálculo-λ; lambda Cálculo; lambda calcul; λ-calcul; netipizirani lambda račun; λ-հաշվում; Càlcul λ; Λάμβδα λογισμό; λ-λογισμος; λ-λογισμός; λογισμός λ; λάμδα λογισμός; Lambda-Notation; Lambdakalkül; Alpha-Konversion; Lambda-Operator; Lambda-Ausdruck; Churchscher Lambda-Kalkül; giải tích lambda; tính toán lambda; лямбда исчисление; λ-исчисление; ламбда-исчисление; حساب لامبدا; 无类型 lambda 演算; 无类型lambda演算; lambda 演算; lambda递归函数; lambda可定义函数; lambda演算; λ-递归函数; λ-reikningur; lambda reikningur; calculul λ; λ-calcul; ラムダ算法; ラムダ式; λ計算; 람다 셈법; 람다 계산법; 람다대수; λ-칼큘러스; calcolo lambda; lambda-calcolo; calcolo lambdae; แลมบ์ดาแคลคูลัส; λ-แคลคูลัส; wyrażenia lambda; lambda-wyrażenia; תחשיב למבדא; למבדה קלקולוס; Lambda Calculus; λ-calculus; лямбда числення; lambda kalkulus; λ-kalkul; lambda cálculo; lambda-kalkyyli; λ-calculus; lambda calculi; λ-calculi; untyped lambda calculus; type-free lambda calculus; lambda kalkulo; λ-abstraktado; lambdokalkulo; lambda-abstraktado; λ abstraktado; λ-пресметка; ламбда пресметка; லம்டா நுண்கணிதம்</nowiki>