1 research outputs found
Rho-Calculi for Computation and Logic (Invited Talk)
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