Volume: Vol-4142 OVERLAY 2025 | Year: 2025

Paper: « paper3 | paper4 | paper5 »

NAMOR: a New Agda Library for Modal Extended Sequents

• Riccardo Borsetto
• Margherita Zorzi

33-40 PDF