Rensets and Renaming-Based Recursion for Syntax with Bindings
Author: Andrei Popescu
Paper Information
| Title: | Rensets and Renaming-Based Recursion for Syntax with Bindings |
| Authors: | Andrei Popescu |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | syntax with bindings, substitution, nominal logic, Isabelle/HOL |
| Pages: | 21 |
| Talk: | Aug 09 12:00 (Session 102D: Proof Systems and Recursion) |
| Paper: |  |