Daniele Nantes-Sobrinho
Daniele Nantes-Sobrinho
Affiliation: Department of Mathematics, University of Brasília, Brazil
Pages in this Program
Equational Reasoning in Languages with Binders via Permutation Fixed-Points
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑