Rho-Calculi for Computation and Logic (Invited Talk)

Author Claude Kirchner



PDF
Thumbnail PDF

File

LIPIcs.RTA.2012.2.pdf
  • Filesize: 252 kB
  • 3 pages

Document Identifiers

Author Details

Claude Kirchner

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

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)
    0
    PDF Downloads
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail