Henning Urbat
Henning Urbat
Affiliation: FAU Erlangen-Nürnberg
Affiliation: Friedrich-Alexander-Universität Erlangen-Nürnberg
Pages in this Program
A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
The Algebra of Iterative Constructions
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑