Renaming-Enriched Sets (Rensets) and Renaming-Based Recursion

MaRDI QIDQ7361431FDO

Authors Andrei Popescu

Publication date 28 February 2023

Cites work

• Isabelle/HOL. A proof assistant for higher-order logic
• Nominal sets. Names and symmetry in computer science
• Rensets and renaming-based recursion for syntax with bindings

This page was built for software: Renaming-Enriched Sets (Rensets) and Renaming-Based Recursion