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 of formal system
Discoverer or inventor
  • Alonzo Church (1932)
Authority control
Wikidata
Blue pencil.svg
Cálculo lambda (es); Lambda-kalkulus (hu); Lambda-reikningur (is); Лямбда-исчисление (ru); Lambda-Kalkül (de); Лямбда-ларар (ce); جبر لاندا (fa); Λ演算 (zh); Lambdakalkyle (da); calculul lambda (ro); λ演算 (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); Lamda Kalkülüs (tr); Lambdakalkyyli (fi); Lambda-arvutus (et); Phép tính lambda (vi); ламбда-пресметка (mk); ラムダ計算 (ja); Lambdacalculus (nl); Ламбда рачун (sr); லாம்டா நுண்கணிதம் (ta); Kalkulong lambda (tl); λ演算 (zh-tw); λ演算 (zh-sg); แคลคูลัสแลมบ์ดา (th); rachunek lambda (pl); lambdakalkyle (nb); Lambda račun (sh); càlcul lambda (ca); Лямбда-числення (uk); cálculo lambda (pt); جیاکاری و تەواوکاری لامدا (ckb); lambda calculus (en); حسابات اللامدا (ar); λ演算 (zh-hans); Lambda kalkul (sk) système formel de la logique mathématique (fr); Een formeel systeem in de logische rekenkunde (nl); formal system in mathematical logic (en); формален систем во математичката логика (mk); 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 (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)

Subcategories

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

L

S

Media in category "Lambda calculus"

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