We introduce a completely visual representation based on typed Mind Maps to represent steps of calculation for a pure untyped lambda calculator, VLM.

Project Samples

AMM of (Y e) Answer MM of Query MM, ( x y. y x)( x. y) Query MM, ( x y. y x)( x. y) QMM of (Y e)

Project Activity

See All Activity >

Categories

Simulation, Data Visualization, Mathematics, Computer Aided Instruction (CAI), Calculators

License

GNU General Public License version 2.0 (GPLv2)

Follow Visual Lambda Calculator with Mind Maps

Visual Lambda Calculator with Mind Maps Web Site

Other Useful Business Software
Auth for GenAI | Auth0 Icon
Auth for GenAI | Auth0

Enable AI agents to securely access tools, workflows, and data with fine-grained control and just a few lines of code.

Easily implement secure login experiences for AI Agents - from interactive chatbots to background workers with Auth0. Auth for GenAI is now available in Developer Preview
Try free now
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of Visual Lambda Calculator with Mind Maps!

Additional Project Details

Programming Language

Java

Related Categories

Java Simulation Software, Java Data Visualization Software, Java Mathematics Software, Java Computer Aided Instruction (CAI) Software, Java Calculators

Registered

2008-10-21
Report inappropriate content