Informasi yang berkaitan dengan es/Calculus Made Easy

Calculus ratiocinator
Quantity calculus
Cálculo felicífico
Cálculo relacional basado en dominios
Cálculo lambda