-Calculus.

Henk Barendregt

Published in: Theor. Comput. Sci. (1976)

Keyphrases

automated deduction
formal language
provably correct
database
real time
search engine
social networks
real numbers
relational calculus
computer algebra