Proofs and Programs about Open Terms

Francisco Ferreira Ruiz

Formal deductive systems are very common in computer science. They are used to represent logics, programming languages, and security systems. Moreover, writing programs that manipu…