LIPIcs.RTA.2012.2.pdf
- Filesize: 252 kB
- 3 pages
Document
Rho-Calculi for Computation and Logic (Invited Talk)
Author
-
Part of:
Volume:
23rd International Conference on Rewriting Techniques and Applications (RTA'12) (RTA 2012)
Series: Leibniz International Proceedings in Informatics (LIPIcs)
Conference: International Conference on Rewriting Techniques and Applications (RTA) - License:
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
- Publication Date: 2012-05-29
Cite AsGet BibTex
Claude Kirchner. Rho-Calculi for Computation and Logic (Invited Talk). In 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Leibniz International Proceedings in Informatics (LIPIcs), Volume 15, pp. 2-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
https://doi.org/10.4230/LIPIcs.RTA.2012.2
https://doi.org/10.4230/LIPIcs.RTA.2012.2
Abstract
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.
Keywords
- rewriting calculus
- rho-calculus
- deduction modulo
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads