Wolfram Language Paclet Repository

Community-contributed installable additions to the Wolfram Language

Primary Navigation

    • Cloud & Deployment
    • Core Language & Structure
    • Data Manipulation & Analysis
    • Engineering Data & Computation
    • External Interfaces & Connections
    • Financial Data & Computation
    • Geographic Data & Computation
    • Geometry
    • Graphs & Networks
    • Higher Mathematical Computation
    • Images
    • Knowledge Representation & Natural Language
    • Machine Learning
    • Notebook Documents & Presentation
    • Scientific and Medical Data & Computation
    • Social, Cultural & Linguistic Data
    • Strings & Text
    • Symbolic & Numeric Computation
    • System Operation & Setup
    • Time-Related Computation
    • User Interface Construction
    • Visualization & Graphics
    • Random Paclet
    • Alphabetical List
  • Using Paclets
    • Get Started
    • Download Definition Notebook
  • Learn More about Wolfram Language

Lambda

Guides

  • Guide

Symbols

  • BetaReduce
  • BetaReductions
  • BLCLambda
  • ColorizeLambda
  • CombinatorLambda
  • EnumerateLambdas
  • EtaReduce
  • EvalLambda
  • FunctionLambda
  • LambdaApplication
  • LambdaBLC
  • LambdaBrackets
  • LambdaCombinator
  • LambdaConvert
  • LambdaDiagram
  • LambdaFunction
  • LambdaGraph
  • LambdaSmiles
  • LambdaString
  • LambdaTree
  • ParseLambda
  • RandomLambda
Wolfram`Lambda`
LambdaConvert
​
LambdaConvert
[lambda,type]
convert
lambda
term into a specified
type
.
​
Details and Options

Examples  
(1)
Basic Examples  
(1)
List all possible conversion types:
In[1]:=
Dataset@AssociationMap​​
LambdaConvert
[λ.[1[1]],#]&,​​{"Application","BracketParens","Function","Combinator","Tree","Graph","String","BLC"}
Out[1]=
Application
λ.[11]
BracketParens
[11]
Function
Function[a,a[a]]
Combinator
S[S[K][K]][S[K][K]]
Tree
Graph
String
(λa.(a a))
BLC
0
0
0
1
1
0
1
0
SeeAlso
LambdaApplication
 
▪
LambdaBrackets
 
▪
LambdaFunction
 
▪
LambdaCombinator
 
▪
LambdaTree
 
▪
LambdaGraph
 
▪
LambdaString
 
▪
LambdaBLC
 
▪
ParseLambda
""

© 2025 Wolfram. All rights reserved.

  • Legal & Privacy Policy
  • Contact Us
  • WolframAlpha.com
  • WolframCloud.com