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

You Might Also Like
Employee monitoring software with screenshots Icon
Employee monitoring software with screenshots

Clear visibility and insights into how employees work. Even remotely

Our computer monitoring software allows employees, field contractors, and freelancers to manually clock in when they begin working on an assignment. The application will take screenshots randomly or at set intervals, which allows employers to observe the work process. The application only tracks activity when the employee is clocked in. No spying, only transparency.
Learn More
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