Rho-Calculi for Computation and Logic (Invited Talk)
Claude Kirchner · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2012
The rho-calculi provide enlightening concepts for both computing and reasoning as well as their combination. They consist in the generalization of lambda-calculus to structures like terms, propositions or graphs and we will show how their interrelations with deduction provide powerful frameworks for the next generation of proof assistants.