Zulip Chat Archive

Stream: new members

Topic: Terminology - Group name for pure or applied λ-calculus

Eric Taucher (Dec 29 2021 at 10:37):

In writing some code to reduce λ-calculus terms learned that for pure λ-calculus the result will be an abstraction, I.e. λt.x and for applied λ-calculus the result can also be a variable, E.g. x. So my code has this argument that accepts either pure or applied and I am looking for a meaningful name for the argument and don't want to use type or kind and was wondering if there already exist a name to discriminate these.

Last updated: Dec 20 2023 at 11:08 UTC