Stefan Milius
Stefan Milius
Affiliation: FAU Erlangen-Nürnberg
Pages in this Program
A Unified Treatment of Substitution for Presheaves, Nominal Sets, Renaming Sets, and so on
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑