FSCD 2025: FORMAL STRUCTURES FOR COMPUTATION AND DEDUCTION
Corelli-Lodge Room

Sessions

  • Session 1A (Jul 14 09:00-17:15) International Workshop on Unification (UNIF 2025)