4 ms·

The lambda calculus

• blohard 11y ago
  Good suggestion. Also consider its programming language counterpart, Scheme.
  • miguelrochefort 11y ago
    Scheme is like untyped calculus. What about typed calculus?