Calculations 32 Differentiation (calculus) 27 Lambda calculus 12 Formal logic 10 Theorem proving 9 Algebra 6 Biomineralization 6 CALCULO LAMBDA 6 Computer circuits 6 LAMBDA CALCULUS 6 Pattern matching 6 Semantics 6 Specifications 6 Strong normalization 6 Convergence of numerical methods 5 Mathematical models 5 Nonlinear equations 5 Alloy analyzers 4 Alloys 4 Artificial intelligence 4 CALCULO-λ 4 Computer programming languages 4 Differential equations 4 Explicit substitution 4 Heidelberg (CO) 4 Inductive logic programming 4 Modal logic 4 PVS 4 Pathology 4 Proof calculus 4