lamda

valsi

lamda

type

experimental gismu

creator

krtisfranks

time entered

Mon Dec 3 01:22:22 2018  

English

Definition #71191

 

definition

x₁ is a lambda function abstraction based on applying transformation x₃ to body x₂.

notes

Coined by la .uakci. See also: "ka". Conflicts with "landa".

gloss words

• lambda ; lambda calculus function abstraction
• lambda function

created by

krtisfranks

vote information

0

time

Mon Dec 3 01:23:57 2018

Examples

---