Lambda Calculus Legal

Legal & Policies

Official terms, privacy policies, and intellectual property notices for lambda-calculus.org.

📜 Terms of Service

By using this platform, you agree to our terms covering proper usage of lambda-calculus educational materials. Prohibited activities include commercial redistribution of our interactive simulators and derivative works without explicit permission.

"All interactive tools remain the intellectual property of Lambda Calculus Foundation. You may use outputs for personal, non-commercial purposes only."

🔒 Privacy Policy

We collect minimal usage data to improve our educational tools. No personal identifiers are stored during interactive sessions. Analytics are limited to tracking simulator usage patterns and tutorial completions.

Data Collected

  • • Device type and OS
  • • Session duration
  • • Tool interaction patterns
  • • Tutorial progress markers

Retention

Usage data is automatically deleted after 180 days of inactivity. You may request deletion at any time via our contact form.

© Copyright

All educational content, visualizations, and theoretical frameworks are protected under international copyright law. Redistribution requires explicit written permission from the Lambda Calculus Foundation board.

Allowed Sharing

You may share links to our educational pages for non-commercial academic purposes. Direct content copying requires formal licensing.