research
∙
01/02/2023
Nominal Recursors as Epi-Recursors
We study nominal recursors from the literature on syntax with bindings a...
share
research
∙
05/18/2022
Rensets and Renaming-Based Recursion for Syntax with Bindings
I introduce renaming-enriched sets (rensets for short), which are algebr...
research
∙
09/20/2021
Configuring Multiple Instances with Multi-Configuration
Configuration is a successful application area of Artificial Intelligenc...
research
∙
07/24/2021
Case Studies in Formal Reasoning About Lambda-Calculus: Semantics, Church-Rosser, Standardization and HOAS
We have previously published the Isabelle/HOL formalization of a general...
research
∙
02/12/2021